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

DOI10.1016/J.APAL.2013.10.005zbMath1323.03055OpenAlexW1984169197MaRDI QIDQ386644

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)

Related Items (1)

DNR AND INCOMPARABLE TURING DEGREES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A hyperimmune minimal degree and an ANR 2-minimal degree
• Characterizing the join-irreducible Medvedev degrees
• Degrees which do not bound minimal degrees
• Defining the Turing jump
• A 2-MINIMAL NON-GL₂ DEGREE
• DIRECT AND LOCAL DEFINITIONS OF THE TURING JUMP
• Joining up to the generalized high degrees
• Pseudo-jump operators. II: Transfinite iterations, hierarchies and minimal covers
• Minimal degrees and the jump operator
• Simple Proofs of Some Theorems on High Degrees of Unsolvability
• Double jumps of minimal degrees
• Some Special Pairs of Σ2 e-Degrees
• Generalized high degrees have the complementation property

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