Automorphism Problem for the Turing Degrees
Determine the automorphism group of the partial order of Turing degrees.
References
Primary source
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 1
RemarkAI-assistedClaimed by OpenAI.See full solution
Claimed by OpenAI.
every order automorphism of the full partial order of Turing degrees is the identity, in ZFC and without definability or regularity assumptions.
Repository: https://github.com/openai/math
- OpenAI-241-01-Rigidity-of-the-Turing-degrees.pdfOpen