Applications of Forcing to the Degree-Theory of the Arithmetical Hierarchy
From MaRDI portal
Publication:5663848
DOI10.1112/plms/s3-25.4.586zbMath0251.02043OpenAlexW2075504126MaRDI QIDQ5663848
Publication date: 1972
Published in: Proceedings of the London Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1112/plms/s3-25.4.586
Other degrees and reducibilities in computability and recursion theory (03D30) Hierarchies of computability and definability (03D55)
Related Items (2)
The Halting Problem Relativized to Complements ⋮ Fixed points of jump preserving automorphisms of degrees
This page was built for publication: Applications of Forcing to the Degree-Theory of the Arithmetical Hierarchy