Intervals containing exactly one c.e. degree

DOI10.1016/J.APAL.2007.01.002MaRDI QIDQ876386zbMATH OpenOpenAlexFDO

Authors Guohua Wu

Publication date 18 April 2007

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

Full work available at URL https://doi.org/10.1016/j.apal.2007.01.002

zbMATH Keywords

recursively enumerable degreesbi-isolating degrees

Mathematics Subject Classification ID

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

Recommendations

• Bi-isolation in the d.c.e. degrees
• Isolated d.r.e. degrees are dense in r.e. degree structure
• An Interval of Computably Enumerable Isolating Degrees
• On the density of the pseudo-isolated degrees
• Isolation and the high/low hierarchy

Cites work

• scientific article; zbMATH DE number 3119296 (Why is no real title available?)
• scientific article; zbMATH DE number 4087652 (Why is no real title available?)
• scientific article; zbMATH DE number 4091484 (Why is no real title available?)
• scientific article; zbMATH DE number 3784863 (Why is no real title available?)
• A minimal pair of recursively enumerable degrees
• Bi-isolation in the d.c.e. degrees
• Complementation in the Turing degrees
• D.R.E. Degrees and the Nondiamond Theorem
• Lower Bounds for Pairs of Recursively Enumerable Degrees
• Strong Minimal Covers for Recursively Enumerable Degrees
• Systems of Logic Based on Ordinals^†
• TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944)
• The d.r.e. degrees are not dense
• The recursively enumerable degrees are dense
• The strong anticupping property for recursively enumerable degrees
• The weak truth table degrees of recursively enumerable sets
• Weak density and cupping in the d-r.e. degrees

Cited in

(2)

• Bi-isolation in the d.c.e. degrees
• Isolation in the CEA hierarchy

This page was built for publication: Intervals containing exactly one c.e. degree

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