Soare's effective automorphism conjecture for semilow sets
Let be a c.e. set. Its complement is semilow when the corresponding semilowness property holds, and is low when . Two c.e. sets are automorphic when an automorphism of the lattice 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 low 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
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.