Local Definitions in Degree Structures: The Turing Jump, Hyperdegrees and Beyond
From MaRDI portal
Publication:5421031
DOI10.2178/bsl/1185803806zbMath1131.03018MaRDI QIDQ5421031
Publication date: 22 October 2007
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.bsl/1185803806
03D30: Other degrees and reducibilities in computability and recursion theory
03D28: Other Turing degree structures
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- First-order theory of the degrees of recursive unsolvability
- Fixed points of jump preserving automorphisms of degrees
- Defining the Turing jump
- The upper semi-lattice of degrees of recursive unsolvability
- A splitting theorem for $n-REA$ degrees
- The jump is definable in the structure of the degrees of unsolvability
- Pseudo-jump operators. II: Transfinite iterations, hierarchies and minimal covers
- Definable degrees and automorphisms of 𝒟
- A degree-theoretic definition of the ramified analytical hierarchy