DIRECT AND LOCAL DEFINITIONS OF THE TURING JUMP
From MaRDI portal
Publication:3521600
DOI10.1142/S0219061307000676zbMath1150.03012OpenAlexW2004803619MaRDI QIDQ3521600
Publication date: 26 August 2008
Published in: Journal of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/s0219061307000676
Other degrees and reducibilities in computability and recursion theory (03D30) Other Turing degree structures (03D28)
Related Items (11)
Reverse Mathematics: The Playground of Logic ⋮ THE n-r.e. DEGREES: UNDECIDABILITY AND Σ1 SUBSTRUCTURES ⋮ THE TURING DEGREES BELOW GENERICS AND RANDOMS ⋮ 2-minimality, jump classes and a note on natural definability ⋮ Domination, forcing, array nonrecursiveness and relative recursive enumerability ⋮ 2010 North American Annual Meeting of the Association for Symbolic Logic ⋮ A 2-MINIMAL NON-GL2 DEGREE ⋮ Biinterpretability up to double jump in the degrees below $\mathbf {0}^{\prime }$ ⋮ Another note on the join property ⋮ Low Level Nondelegability Results: Domination and Recursive Enumeration ⋮ A reducibility related to being hyperimmune-free
Cites Work
- First-order theory of the degrees of recursive unsolvability
- Fixed points of jump preserving automorphisms of degrees
- Defining the Turing jump
- Initial segments of the degrees of unsolvability
- The upper semi-lattice of degrees of recursive unsolvability
- On a Conjecture of Kleene and Post
- A splitting theorem for $n-REA$ degrees
- Degree Structures: Local and Global Investigations
- The jump is definable in the structure of the degrees of unsolvability
- Pseudo-jump operators. II: Transfinite iterations, hierarchies and minimal covers
- Interpretability and Definability in the Recursively Enumerable Degrees
- Definable degrees and automorphisms of 𝒟
- A degree-theoretic definition of the ramified analytical hierarchy
- On the representation of lattices
This page was built for publication: DIRECT AND LOCAL DEFINITIONS OF THE TURING JUMP
