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

degrees of unsolvabilityjoinjump operation

Mathematics Subject Classification ID

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

Cites work

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

Cited in

(39)

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

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)