Cholak–Epstein conjecture on outer splitting and automorphism to low-two sets
Let be a c.e. set. It has the outer splitting property if there are computable functions such that, for every , , is finite, and if is infinite then is nonempty. Let be semilow, and let a c.e. set be low when its second Turing jump is equivalent to . Cholak–Epstein conjecture. Every set with the outer splitting property and semilow complement is automorphic to a low set. The conjecture would strengthen the known result that these hypotheses imply ; the source gives no resolution.
References
Primary source
Peter Cholak, “Some recent research directions in the computably enumerable sets”, arXiv:1312.5979 (2013).
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
No solutions have been posted yet.