Cholak–Epstein conjecture on outer splitting and automorphism to low-two sets

About 13 years old · traced to

Let AA be a c.e. set. It has the outer splitting property if there are computable functions f,hf,h such that, for every ee, We=Wf(e)⊔Wh(e)W_e=W_{f(e)}\sqcup W_{h(e)}, Wf(e)∩A‾W_{f(e)}\cap\overline{A} is finite, and if We∩A‾W_e\cap\overline{A} is infinite then Wf(e)∩A‾W_{f(e)}\cap\overline{A} is nonempty. Let A‾\overline{A} be semilow2_2, and let a c.e. set be low2_2 when its second Turing jump is equivalent to 0(2)\mathbf{0}^{(2)}. Cholak–Epstein conjecture. Every set AA with the outer splitting property and semilow2_2 complement is automorphic to a low2_2 set. The conjecture would strengthen the known result that these hypotheses imply L∗(A)≈L∗(∅)\mathcal{L}^*(A)\approx\mathcal{L}^*(\emptyset); 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

Never refreshed

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.