Èíôîðìàöèîííàÿ ñèñòåìà "Êîíôåðåíöèè"



The 9th Asian Logic Conference

16-19 August, 2005
Novosibirsk, Russia

Abstracts


Computability theory

Intervals containing exactly one c.e. degree

Wu G.

Victoria University of Wellington (Wellington)

We study the structural interactions between the c.e. and the d.c.e. degrees. It is well-known that there are intervals d.c.e. degrees containing no c.e. degrees, and that if an interval of d.c.e. degrees contains two or more c.e. degrees, then this interval contains infinitely many c.e. degrees. A natural question is whether there are intervals of d.c.e. degrees containing exactly one c.e. degree (strictly between). We will call such c.e. degrees bi-isolating degrees. We know that these degrees are densely distributed in the high c.e. degrees, and we will prove that the bi-isolating degrees can also be low.


Mail to Webmaster
alc9@math.nsc.ru
|Home Page| |English Part| [SBRAS]
Go to Home
© 1996-2000, Siberian Branch of Russian Academy of Sciences, Novosibirsk
    Last update: 06-Jul-2012 (11:44:52)