Splitting and nonsplitting, II: A low2 c.e. degree above which 0′ is not splittable
S. Barry Cooper, Angsheng Li · Journal of Symbolic Logic · 2002
Abstract It is shown that there exists a low2 Harrington non-splitting base — that is, a low2 computably enumerable (c.e.) degree a such that for any c.e. degrees x, y, if 0′ = x ∨ y, then either 0′ = x ∨ a or 0′ = y ∨ a. Contrary to prior expectations, the standard Harrington non-splitting construction is incompatible with the low2-ness requirements to be satisfied, and the proof given involves new techniques with potentially wider application.