The first nontrivial DCE (2-computably enumerable) Turing approximation to the class of computably enumerable degrees is obtained. This depends on the following extension of the splitting theorem for the DCE degrees. For any DCE degree a and any computably enumerable degree b, if b < a, then there are DCE degrees x_0, x_1 such that b < x_0, x_1 < a and a = x_0 ∨ x_1. The construction is unusual in that it is incompatible with upper cone avoidance.
展开▼
