A hierarchy for cuppable degrees
Li, Angsheng ; Wu, Guohua ; Zhang, Zaiyue
Illinois J. Math., Tome 44 (2000) no. 4, p. 619-632 / Harvested from Project Euclid
We say that a computably enumerable (c.e., for short) degree $\mathbf{a}$ is cuppable if there is a c.e. degree $\mathbf{b} \neq \mathbf{0}'$ such that $\mathbf{a} \vee \mathbf{b} \mathbf{0}'$. A c.e. degree $\mathbf{a}$ is called $low_{n}$-cuppable, $n \gt 0$, if there is a $\mathrm{low}_{n}$ c.e. degree $\mathbf{1}$ such that $\mathbf{a} \vee \mathbf{1} \mathbf{0}'$. Let $\mathbf{LC}_{n}$, be the set of all $\mathrm{low}_{n}$-cuppable c.e. degrees. In this paper, we show that $\mathbf{LC}_{1} \subset \mathbf{LC}_{2} \subseteq \mathbf{LC}_{3} \subseteq \cdots$, so giving a hierarchy for a class of cuppable degrees.
Publié le : 2000-09-15
Classification:  03D25
@article{1256060420,
     author = {Li, Angsheng and Wu, Guohua and Zhang, Zaiyue},
     title = {A hierarchy for cuppable degrees},
     journal = {Illinois J. Math.},
     volume = {44},
     number = {4},
     year = {2000},
     pages = { 619-632},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1256060420}
}
Li, Angsheng; Wu, Guohua; Zhang, Zaiyue. A hierarchy for cuppable degrees. Illinois J. Math., Tome 44 (2000) no. 4, pp.  619-632. http://gdmltest.u-ga.fr/item/1256060420/