Complementing below recursively enumerable degrees

DOI10.1016/0168-0072(87)90039-XMaRDI QIDQ1093627zbMATH OpenFDO

Authors S. Barry Cooper, Richard L. Epstein

Publication date 1987

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

zbMATH Keywords

minimal degreer.e. degreescomplementation theorem

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Other degrees and reducibilities in computability and recursion theory (03D30)

Recommendations

• Complementation in the Turing degrees
• Cupping the Recursively Enumerable Degrees by D.R.E. Degrees
• scientific article; zbMATH DE number 468962
• Complementing cappable degrees in the difference hierarchy.
• Some results about the R.E. degrees

Cites work

• A minimal degree less than 0’
• A theorem on minimal degrees
• Degrees joining to 0′
• Degrees of unsolvability complementary between recursively enumerable degrees, Part 1
• Degrees of unsolvability: structure and theory
• Initial segments of degrees below 0′
• Initial segments of the degrees of unsolvability Part II: minimal degrees
• Lower Bounds for Pairs of Recursively Enumerable Degrees
• Minimal degrees of unsolvability and the full approximation construction
• The upper semilattice of degrees ≤ 0′ is complemented

Cited in

(8)

• The jump is definable in the structure of the degrees of unsolvability
• The strong anticupping property for recursively enumerable degrees
• Computably enumerable Turing degrees and the meet property
• Extending the Cooper minimal pair theorem
• Bounding minimal degrees by computably enumerable degrees
• On a problem of Cooper and Epstein
• A splitting theorem for \(n\)-REA degrees
• Complementation in the Turing degrees

This page was built for publication: Complementing below recursively enumerable degrees

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