Abstract:We prove that there is no maximal low d.c.e degree. IntroductionA natural extension of the notion of a computably enumerable (c.e.) set is that of a d.c.e.set which is a set obtained as the difference of two c.e. sets A = W -V .Equivalently, a d.c.e set A is a set for which there exists a computable function f (x, s) so that A(x) = lim s f (x, s), f (x, 0) = 0, and ∀x|{s, f (x, s) = f (x, s + 1)}| ≤ 2. As well as being interesting in their own right, the d.c.e.Turing degrees can be studied both to give insight into the c.e. Turing degrees and into the 0 2 degrees.The investigation of the present paper can be viewed as contributing to all three of these goals.The uppersemilattice of the d.c.e.degrees is not elementarily equivalent to that of the c.e. degrees by Arslanov [1] and Downey [5].Perhaps the most striking difference between the d.c.e.degrees and the c.e. degrees comes from the following two theorems.Theorem 1.1 (Sacks [9]) The c.e. degrees are dense.Theorem 1.2 (Cooper, Harrington, Lachlan, Lempp, Soare [4]) The d.c.e.degrees are not dense.Indeed, there is a maximal d.c.e.degree a.That is, a < 0 ′ , and there are no d.c.e.degrees b with a < b < 0 ′ .Also notice that density properties allow us to compare the d.c.e.degrees and the 0 2 degrees.By an unpublished result of Lachlan, there are no minimal d.c.e.degrees, yet Sacks constructed a minimal 0 2 degree.Actually there is a very interesting theme here that "toward 0" the d.c.e.degrees are like the c.e.

Maximal Pairs of C.E. Reals in the Computably Lipschitz Degrees

Analogues of the countable Borel equivalence relations in the setting of computable reducibility

There Are No Maximal Low D.C.E. Degrees.

Computably enumerable equivalence relations via primitive recursive reductions

The Kolmogorov Complexity of Random Reals

On The Reals Which Cannot Be Random

Non-empty open intervals of computably enumerable sQ 1-degrees

Cofinal Maximal Chains in the Turing Degrees

Nearly Computable Real Numbers

Maximal Chains in the Turing Degrees

Lipschitz Equivalence of Cantor Sets and Irreducibility of Polynomials

Thin Maximal Antichains in the Turing Degrees

Extending the Limit Theorem of Barmpalias and Lewis-Pye to all reals

The transcendence degree of the reals over certain set-theoretical subfields

Finite final segments of the d.c.e. Turing degrees

Computing over the Reals (or an Arbitrary Ring)

Measuring the complexity of reductions between equivalence relations

Low$_2$ computably enumerable sets have hyperhypersimple supersets

On Initial Segment Complexity and Degrees of Randomness

Self-full ceers and the uniform join operator

The Eudoxus Reals