The continuity of cupping to \(\text \textbf{0}'\)

DOI10.1016/0168-0072(93)90143-2zbMath0805.03030OpenAlexW2055640873MaRDI QIDQ1314642

Robert I. Soare, Alistair H. Lachlan, Ambos-Spies, Klaus

Publication date: 29 January 1995

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

Full work available at URL: https://doi.org/10.1016/0168-0072(93)90143-2

zbMATH Keywords

Turing degreesmajor subdegree

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25)

Related Items (6)

Relative enumerability and 1-genericity ⋮ The discontinuity of splitting in the recursively enumerable degrees ⋮ On Lachlan's major sub-degree problem ⋮ Continuity of capping in \(\mathcal C_{\text{bT}}\) ⋮ Principal filters definable by parameters in 𝓔_bT ⋮ CUPPING AND JUMP CLASSES IN THE COMPUTABLY ENUMERABLE DEGREES

Cites Work

• An Algebraic Decomposition of the Recursively Enumerable Degrees and the Coincidence of Several Degree Classes with the Promptly Simple Degrees
• Unnamed Item
• Unnamed Item

This page was built for publication: The continuity of cupping to \(\text \textbf{0}'\)