scientific article; zbMATH DE number 3784863

MaRDI QIDQ3962986zbMATH OpenFDO

Authors David Miller

Publication date 1981

zbMATH Keywords

anti-cupping propertyanti-cupping witness

Mathematics Subject Classification ID

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

Cited in

(14)

• Splitting theorems in recursion theory
• Cupping computably enumerable degrees simultaneously
• Cupping and noncupping in the enumeration degrees of \(\Sigma_ 2^ 0\) sets
• The d.r.e. degrees are not dense
• Elementary differences among jump classes
• Intervals containing exactly one c.e. degree
• Joining to High Degrees
• Turing computability: structural theory
• \(\Sigma_ 5\)-completeness of index sets arising from the recursively enumerable Turing degrees
• Upper bounds on ideals in the computably enumerable Turing degrees
• Tracing and domination in the Turing degrees
• Cupping and jump classes in the computably enumerable degrees
• Strong noncuppability in low computably enumerable degrees
• A non-splitting theorem for d.r.e. sets

This page was built for publication:

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