Manuscript OpenAI@2026-10-07 · OpenAI.tex · remark · 6a931f8f

Remark: 241-01. Rigidity of the Turing degrees

Manuscript map · lines 7225–7234

OpenAI@2026-10-07#rem:oai-p-241-01

Back to manuscript

Authors: OpenAI. Family 241.

Title: Rigidity of the Turing degrees.

Abstract: We prove that every order automorphism of the full partial order of Turing degrees is the identity, resolving the rigidity conjecture for the Turing degrees positively.

This abstract is a catalogue record. It is not a verification and not a premise. It does not close O.1. O.1 stays NOT_CLOSED. No quantum coefficient is admitted. No compilation is asserted.

Nearby in this section