Abstract
Abstract.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.
Publisher
Cambridge University Press (CUP)
Reference26 articles.
1. Games in Recursion Theory and Continuity Properties of Capping Degrees
2. The d.r.e. degrees are not dense
3. A splitting theorem of the n-r.e. degrees;Cooper;Proceedings of the American Mathematical Society
4. Upper isolated d.c.e. degrees;Efremov;II, Izvestiya Vysshikh Uchebnykh Zavedeniĭ, Matematika,1998
5. Arslanov M. M. , private communications, 01 2002.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An almost-universal cupping degree;The Journal of Symbolic Logic;2011-12
2. Model-theoretic properties of the n-c.e. degrees;Journal of Logic and Computation;2010-09-21
3. Isolated 2-computably enumerable Q-degrees;Russian Mathematics;2010-03-12
4. ISOLATION IN THE D.C.E. DEGREES;Proceedings of the 10th Asian Logic Conference;2009-12
5. Intervals containing exactly one c.e. degree;Annals of Pure and Applied Logic;2007-04