|
|||||
|
|
A Splitting with Infimum in the d‐c. e. Degrees |
|
| Authors: | Lu Hong Ding Decheng Qian Lei |
| Abstract: | In this paper we prove that any c. e. degree is splittable with an c. e. infimum over any lesser c. e. degree in the class of d‐c. e. degrees. |
| Keywords: | Computably enumerable set Recursively enumerable set D‐c e degree Infimum Property |