Q-degrees of $n$-c.e. sets
Arslanov, M. M. ; Omanadze, R. Sh.
Illinois J. Math., Tome 51 (2007) no. 3, p. 1189-1206 / Harvested from Project Euclid
In this paper we study Q-degrees of $n$-computably enumerable ($n$-c.e.) sets. It is proved that $n$-c.e. sets form a true hierarchy in terms of Q-degrees, and that for any $n\ge 1$ there exists a $2n$-c.e. Q-degree which bounds no noncomputable c.e. Q-degree, but any $(2n+1)$-c.e. non $2n$-c.e. Q-degree bounds a c.e. noncomputable Q-degree. Studying weak density properties of $n$-c.e. Q-degrees, we prove that for any $n\ge 1$, properly $n$-c.e. Q-degrees are dense in the ordering of c.e. Q-degrees, but there exist c.e. sets $A$ and $B$ such that $A-B<_QA\equiv_Q\emptyset'$, and there are no c.e. sets for which the Q-degrees are strongly between $A-B$ and $A$.
Publié le : 2007-10-15
Classification:  03D25,  03D30
@article{1258138538,
     author = {Arslanov, M. M. and Omanadze, R. Sh.},
     title = {Q-degrees of $n$-c.e. sets},
     journal = {Illinois J. Math.},
     volume = {51},
     number = {3},
     year = {2007},
     pages = { 1189-1206},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1258138538}
}
Arslanov, M. M.; Omanadze, R. Sh. Q-degrees of $n$-c.e. sets. Illinois J. Math., Tome 51 (2007) no. 3, pp.  1189-1206. http://gdmltest.u-ga.fr/item/1258138538/