Relative Enumerability in the Difference Hierarchy
Arslanov, Marat M. ; Laforte, Geoffrey L. ; Slaman, Theodore A.
J. Symbolic Logic, Tome 63 (1998) no. 1, p. 411-420 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
We show that the intersection of the class of 2-REA degrees with that of the $\omega$-r.e. degrees consists precisely of the class of d.r.e. degrees. We also include some applications and show that there is no natural generalization of this result to higher levels of the REA hierarchy.
Publié le : 1998-06-14
Classification:  
@article{1183745509,
     author = {Arslanov, Marat M. and Laforte, Geoffrey L. and Slaman, Theodore A.},
     title = {Relative Enumerability in the Difference Hierarchy},
     journal = {J. Symbolic Logic},
     volume = {63},
     number = {1},
     year = {1998},
     pages = { 411-420},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183745509}
}

Arslanov, Marat M.; Laforte, Geoffrey L.; Slaman, Theodore A. Relative Enumerability in the Difference Hierarchy. J. Symbolic Logic, Tome 63 (1998) no. 1, pp.  411-420. http://gdmltest.u-ga.fr/item/1183745509/