An application of Σ40 determinacy to the degrees of unsolvability

DOI10.2307/2272064zbMath0279.02026OpenAlexW2066499701MaRDI QIDQ4404869

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/2272064

Mathematics Subject Classification ID

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

Related Items

Minimal Covers and Hyperdegrees

Cites Work

• Unnamed Item
• On degrees of recursive unsolvability
• Initial segments of the degrees of unsolvability
• The axiom of determinateness and reduction principles in the analytical hierarchy
• Distributive Initial Segments of the Degrees of Unsolvability