Recursive equivalence types and groups

DOI10.2307/2270975zbMATH Open0185.02101OpenAlexW2023232037MaRDI QIDQ5577086FDOQ5577086

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

• Extensions to isols
• Recursive equivalence types and combinatorial functions
• The factorial function for isols
• Title not available (Why is that?)
• The recursive equivalence type of a class of sets

Cited In (3)

• A characterization of the orders of regressive ω-groups
• Isols and Burnside's lemma
• 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)