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

Steffen Lempp, Yiqun Liu, Yong Liu +3

We prove that every finite distributive lattice is isomorphic to a final segment of the d.c.e. Turing degrees (i.e., the degrees of differences of computably enumerable sets). As a…