Recursive equivalence types and groups

DOI10.2307/2270975zbMath0185.02101OpenAlexW2023232037MaRDI QIDQ5577086

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

Related Items

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

Cites Work

• Unnamed Item
• The factorial function for isols
• Extensions to isols
• Recursive equivalence types and combinatorial functions
• The recursive equivalence type of a class of sets