|
|
Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, 2012, Volume 154, Book 2, Pages 152–158
(Mi uzku1127)
|
|
|
|
Relative enumerability and the $d$-c. e. degrees
M. M. Arslanov Department of Algebra and Mathematical Logic, Kazan Federal University, Kazan, Russia
Abstract:
We study the relationship between the relative enumerability and the $d$-c. e. degrees. We prove that the degree of the halting problem is splittable into two c. e. degrees such that the upper cone of each of them contains only $d$-c. e. degrees which are c. e. in another one.
Keywords:
Turing degrees, computably enumerable degrees, relative computable enumerability, splitting, definability.
Received: 15.12.2010
Citation:
M. M. Arslanov, “Relative enumerability and the $d$-c. e. degrees”, Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, 154, no. 2, Kazan University, Kazan, 2012, 152–158
Linking options:
https://www.mathnet.ru/eng/uzku1127 https://www.mathnet.ru/eng/uzku/v154/i2/p152
|
|