Properties of the jump classes

DOI10.1093/LOGCOM/EXQ047MaRDI QIDQ2907059zbMATH OpenOpenAlexFDO

Authors Andrew E. M. Lewis

Publication date 5 September 2012

Published in Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/7be9d07aec6484972c62ef1e395688fcb8e4d4cc

zbMATH Keywords

high/low hierarchyjump hierarchysurvey paperTuring degree

Mathematics Subject Classification ID

Other Turing degree structures (03D28) Hierarchies of computability and definability (03D55)

Review text

This paper provides an overview of the connections between jump (high/low and generalized high/low) hierarchies and order-theoretic properties of Turing degrees, such as the cupping, capping, and complementation properties. Known results in this area are surveyed, and several open questions are presented.

Recommendations

• The search for natural definability in the Turing degrees
• DIRECT AND LOCAL DEFINITIONS OF THE TURING JUMP
• 2-minimality, jump classes and a note on natural definability
• scientific article; zbMATH DE number 2204762
• Nonbounding and Slaman triples

Cited in

(5)

• Nonbounding and Slaman triples
• Computably enumerable Turing degrees and the meet property
• 2-minimality, jump classes and a note on natural definability
• The information content of typical reals
• The search for natural definability in the Turing degrees

This page was built for publication: Properties of the jump classes

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