The low supersets lattice conjecture
The low supersets lattice conjecture
Let be a computably enumerable set. Write for the lattice of all computably enumerable sets modulo finite sets, and let denote the lattice of supersets of modulo finite sets. A computably enumerable set is low when its second Turing jump satisfies . The low supersets lattice conjecture. If is low, then
Soare proved the analogous result for low computably enumerable sets, while Maass characterized effective isomorphism with using semilow. The conjecture asks whether the conclusion extends to all low computably enumerable sets and remains open.
Sources & referencesView supporting material
Primary source
Peter Cholak, Rodney Downey and Noam Greenberg, “Low_2 computably enumerable sets have hyperhypersimple supersets”, arXiv:2412.01939 (2025).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.