Recursive equivalence types and groups

DOI10.2307/2270975MaRDI QIDQ5577086zbMATH OpenOpenAlexFDO

Authors M. J. Hassett

Publication date 1969

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2270975

zbMATH Keywords

recursion theory, constructive mathematics

Cites work

• scientific article; zbMATH DE number 3271499 (Why is no real title available?)
• Extensions to isols
• Recursive equivalence types and combinatorial functions
• The factorial function for isols
• The recursive equivalence type of a class of sets

Cited in

(3)

• Isols and Burnside's lemma
• A characterization of the orders of regressive ω-groups
• The recursive equivalence type of a decomposition of an ω-group: The RET of a decomposition

This page was built for publication: Recursive equivalence types and groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5577086)