Splitting and Jump Inversion in the Turing Degrees.

S. Barry Cooper,Angsheng Li,Mingji Xia
DOI: https://doi.org/10.3233/com-180083
2018-01-01
Computability
Abstract:It is shown that for any computably enumerable degree a not equal 0, and any Turing degree s, if s >= 0', and c.e. in a, then there exists a c.e. degree x with the following properties: x < a, a is splittable over x, and x' = s.
What problem does this paper attempt to address?