Encodability of Kleene's O

DOI10.2307/2273040zbMath0279.02025OpenAlexW2112673210MaRDI QIDQ4404868

Robert I. Soare, Carl G. jun. Jockusch

Publication date: 1973

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

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

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Hierarchies of computability and definability (03D55)

Related Items (3)

Hyperarithmetically Encodable Sets ⋮ Classes of Polish spaces under effective Borel isomorphism ⋮ Proof of a Conjecture of Friedman

Cites Work

• Unnamed Item
• Degrees of members of \(\Pi_ 1^ 0\) classes
• Constructive transfinite number classes
• Sets with no subset of higher degree
• Class groups of integral group rings

This page was built for publication: Encodability of Kleene's O