Bi-isolation in the d.c.e. degrees
Wu, Guohua
J. Symbolic Logic, Tome 69 (2004) no. 1, p. 409-420 / Harvested from Project Euclid
In this paper, we study the bi-isolation phenomena in the d.c.e. degrees and prove that there are c.e. degrees c1 < c2 and a d.c.e. degree d∈ (c1, c2) such that (c1, d) and (d, c2) contain no c.e. degrees. Thus, the c.e. degrees between c1 and c2 are all incomparable with d. We also show that there are d.c.e. degrees d1 < d2 such that (d1, d2) contains a unique c.e. degree.
Publié le : 2004-06-15
Classification: 
@article{1082418534,
     author = {Wu, Guohua},
     title = {Bi-isolation in the d.c.e. degrees},
     journal = {J. Symbolic Logic},
     volume = {69},
     number = {1},
     year = {2004},
     pages = { 409-420},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1082418534}
}
Wu, Guohua. Bi-isolation in the d.c.e. degrees. J. Symbolic Logic, Tome 69 (2004) no. 1, pp.  409-420. http://gdmltest.u-ga.fr/item/1082418534/