Soare's effective automorphism conjecture for semilow sets

About 13 years old · traced to

Let AA be a c.e. set. Its complement A‾\overline{A} is semilow when the corresponding semilowness property holds, and AA is low when A′≡T0′A'\equiv_T\mathbf{0}'. Two c.e. sets are automorphic when an automorphism of the lattice E\mathcal{E} of c.e. sets maps one to the other. Soare's effective automorphism conjecture. Every semilow set is effectively automorphic to a low set. This would extend Epstein's result, which supplies a properly low2_2 degree whose computable members are automorphic to low sets; the source gives no resolution of the conjecture.

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.