Degrees joining to 0′

DOI10.2307/2273221MaRDI QIDQ3665087zbMATH OpenOpenAlexFDO

Authors David B. Posner, R. W. Robinson

Publication date 1981

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

Full work available at URL https://doi.org/10.2307/2273221

zbMATH Keywords

joindegrees of unsolvabilityjump operation

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30)

Cites work

• scientific article; zbMATH DE number 3387326 (Why is no real title available?)
• A theorem on minimal degrees
• Degrees in Which the Recursive Sets are Uniformly Recursive
• Minimal degrees and the jump operator
• Simple Proofs of Some Theorems on High Degrees of Unsolvability
• The Degrees of Hyperimmune Sets

Cited in

(39)

• The jump is definable in the structure of the degrees of unsolvability
• Mass problems associated with effectively closed sets
• Forcing and reductibilities. II. Forcing in fragments of analysis
• Complements for enumeration \(\Pi_1^0\)-degrees
• On the strength of Ramsey's theorem for pairs
• Complementing below recursively enumerable degrees
• The strong anticupping property for recursively enumerable degrees
• A join theorem for the computably enumerable degrees
• Measure-theoretic applications of higher Demuth's theorem
• How enumeration reductibility yields extended Harrington non-splitting
• The \(\omega\)-Turing degrees
• Cupping and noncupping in the enumeration degrees of \(\Sigma_ 2^ 0\) sets
• Two more characterizations of \(K\)-triviality
• 1-generic degrees and minimal degrees in higher recursion theory. II
• Extensions of embeddings below computably enumerable degrees
• A note on the join property
• Minimal upper bounds for arithmetical degrees
• Finite cupping sets
• Higher randomness and genericity
• The limitations of cupping in the local structure of the enumeration degrees
• Decomposing Borel functions using the Shore-Slaman join theorem
• Bounding minimal degrees by computably enumerable degrees
• Pseudo-jump operators. II: Transfinite iterations, hierarchies and minimal covers
• Definability in the local structure of the \(\omega\)-Turing degrees
• Natural factors of the Medvedev lattice capturing IPC
• Learning via queries and oracles
• The upper semilattice of degrees ≤ 0′ is complemented
• Upper bounds for the arithmetical degrees
• Decidability and Invariant Classes for Degree Structures
• Cone avoidance and randomness preservation
• Cupping Classes of $\Sigma^0_2$ Enumeration Degrees
• Automorphism bases for degrees of unsolvability
• A single minimal complement for the c.e. degrees
• Uniform almost everywhere domination
• Cupping with random sets
• Measures and their random reals
• Minimal complementation below uniform upper bounds for the arithmetical degrees
• DEFINABILITY OF THE JUMP OPERATOR IN THE ENUMERATION DEGREES
• Natural factors of the Muchnik lattice capturing IPC

This page was built for publication: Degrees joining to 0′

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