arXiv Analytics

Sign in

arXiv:2403.04254 [math.LO]AbstractReferencesReviewsResources

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

Steffen Lempp, Yiqun Liu, Yong Liu, Keng Meng Ng, Cheng Peng, Guohua Wu

Published 2024-03-07Version 1

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).

Categories: math.LO
Related articles: Most relevant | Search more
arXiv:1612.04494 [math.LO] (Published 2016-12-14)
Determinacy and Fast-growing Sequences of Turing Degrees
arXiv:1901.04786 [math.LO] (Published 2019-01-15)
Cohesive Powers of Linear Orders
arXiv:math/0001173 [math.LO] (Published 2000-01-28)
How many Turing degrees are there?

Links

Toolbox