Isolation and lattice embeddings

DOI10.2178/JSL/1190150148MaRDI QIDQ4779650zbMATH OpenOpenAlexFDO

Authors Guohua Wu

Publication date 12 November 2003

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

Full work available at URL https://doi.org/10.2178/jsl/1190150148

zbMATH Keywords

lattice embeddingTuring degreed.c.e degreeisolation pair

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Other Turing degree structures (03D28)

Recommendations

• Isolation, Infima and Diamond Embeddings
• scientific article; zbMATH DE number 2063233
• Isolation in the d.c.e. degrees
• Isolation and the high/low hierarchy
• An Interval of Computably Enumerable Isolating Degrees

Cites work

• D.R.E. Degrees and the Nondiamond Theorem
• Isolated d.r.e. degrees are dense in r.e. degree structure
• The Isolated D. R. E. Degrees are Dense in the R. E. Degrees
• The d.r.e. degrees are not dense
• Weak density and cupping in the d-r.e. degrees

Cited in

(20)

• scientific article; zbMATH DE number 2063233 (Why is no real title available?)
• Isolation, Infima and Diamond Embeddings
• Downward density of exact degrees
• Almost universal cupping and diamond embeddings
• Isolation from side in 2-computably enumerable degrees
• Isolation from side and cone avoidance in the 2-computably enumerable \textit{wtt}-degrees
• Complementing cappable degrees in the difference hierarchy.
• Tight bounds and conjectures for the isolation lemma
• The Non-isolating Degrees Are Upwards Dense in the Computably Enumerable Degrees
• Elementary theories and structural properties of d-c.e. and n-c.e. degrees
• Bi-isolation in the d.c.e. degrees
• Nonisolated degrees and the jump operator
• Isolation in the d.c.e. degrees
• Isolation in the CEA hierarchy
• Turing computability: structural theory
• Bounding computably enumerable degrees in the Ershov hierarchy
• 2003 Annual Meeting of the Association for Symbolic Logic
• There Are No Maximal d.c.e. wtt-degrees
• Isolation and the high/low hierarchy
• Cupping and diamond embeddings: a unifying approach

This page was built for publication: Isolation and lattice embeddings

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