2-minimality, jump classes and a note on natural definability

DOI10.1016/J.APAL.2013.10.005MaRDI QIDQ386644zbMATH OpenOpenAlexFDO

Authors Mingzhong Cai

Publication date 10 December 2013

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2013.10.005

zbMATH Keywords

tree system2-minimalgeneralized high degreejump class

Mathematics Subject Classification ID

Other Turing degree structures (03D28)

Recommendations

• Logical Approaches to Computational Barriers
• Degrees which do not bound minimal degrees
• Jumps of quasi-minimal enumeration degrees
• Jumps of Minimal Degrees Below 0 ′
• Properties of the jump classes

Cites work

• scientific article; zbMATH DE number 3861137 (Why is no real title available?)
• scientific article; zbMATH DE number 841084 (Why is no real title available?)
• A 2-MINIMAL NON-GL₂ DEGREE
• A hyperimmune minimal degree and an ANR 2-minimal degree
• Characterizing the join-irreducible Medvedev degrees
• DIRECT AND LOCAL DEFINITIONS OF THE TURING JUMP
• Defining the Turing jump
• Degrees which do not bound minimal degrees
• Double jumps of minimal degrees
• Generalized high degrees have the complementation property
• Joining up to the generalized high degrees
• Minimal degrees and the jump operator
• Pseudo-jump operators. II: Transfinite iterations, hierarchies and minimal covers
• Simple Proofs of Some Theorems on High Degrees of Unsolvability
• Some Special Pairs of Σ2 e-Degrees
• Strong minimal covers and a question of Yates: the story so far

Cited in

(3)

• Degrees which do not bound minimal degrees
• Properties of the jump classes
• DNR and incomparable Turing degrees

This page was built for publication: 2-minimality, jump classes and a note on natural definability

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