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

DOI10.2178/BSL/1185803806MaRDI QIDQ5421031zbMATH OpenOpenAlexFDO

Authors Richard A. Shore

Publication date 22 October 2007

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.bsl/1185803806, https://semanticscholar.org/paper/fc95db7092bd64c1f8b1d27cda7784d6ab44d347

zbMATH Keywords

automorphismidealTuring degreesjump operator

Mathematics Subject Classification ID

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

Recommendations

• DIRECT AND LOCAL DEFINITIONS OF THE TURING JUMP
• Definability in the Recursively Enumerable Degrees
• The ^0_2 Turing degrees: automorphisms and definability
• scientific article; zbMATH DE number 5504384
• The jump is definable in the structure of the degrees of unsolvability

Cites work

• scientific article; zbMATH DE number 194101 (Why is no real title available?)
• A degree-theoretic definition of the ramified analytical hierarchy
• A splitting theorem for n-REA degrees
• Definable degrees and automorphisms of 𝒟
• Defining the Turing jump
• First-order theory of the degrees of recursive unsolvability
• Fixed points of jump preserving automorphisms of degrees
• On a Conjecture of Kleene and Post
• Pseudo-jump operators. II: Transfinite iterations, hierarchies and minimal covers
• The jump is definable in the structure of the degrees of unsolvability
• The upper semi-lattice of degrees of recursive unsolvability

Cited in

(2)

• Lattice initial segments of the hyperdegrees
• DIRECT AND LOCAL DEFINITIONS OF THE TURING JUMP

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5421031)