sets many one equivalent halting problem besides lattice computably enumerable sets automorphisms also studied structure turing degrees sets well structure turing degrees ce sets cases cooper claims constructed nontrivial automorphisms map degrees degrees construction however verified colleagues believe construction contains errors question whether nontrivial automorphism turing degrees still one main unsolved questions
Formal science Computer science Theory of computation Computability theory