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

DOI10.2178/BSL/1185803806zbMath1131.03018OpenAlexW2027982154MaRDI 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

automorphismidealTuring degreesjump operator

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Other Turing degree structures (03D28)

Related Items (1)

Lattice initial segments of the hyperdegrees

Cites Work

• 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
• On a Conjecture of Kleene and Post
• 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

This page was built for publication: Local Definitions in Degree Structures: The Turing Jump, Hyperdegrees and Beyond