Local Definitions in Degree Structures: The Turing Jump, Hyperdegrees and Beyond

DOI10.2178/bsl/1185803806zbMath1131.03018MaRDI QIDQ5421031

Richard A. Shore

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

zbMATH Keywords

automorphism; ideal; Turing degrees; jump operator

Mathematics Subject Classification ID

03D30: Other degrees and reducibilities in computability and recursion theory

03D28: Other Turing degree structures

Related Items

Lattice initial segments of the hyperdegrees

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