{"id":"openai-math/Rigidity-of-the-Turing-degrees","pdf":"https://github.com/openai/math/blob/main/preprints/Rigidity-of-the-Turing-degrees-September-24-2026/paper.pdf","url":"https://github.com/openai/math/tree/main/preprints/Rigidity-of-the-Turing-degrees-September-24-2026","tags":["computability","turing-degrees","order-theory"],"score":0,"title":"Rigidity of the Turing degrees","domain":"Mathematical logic","family":"241","origin":"ai-generated","source":"openai-math","authors":["OpenAI"],"reviews":0,"subject":"math.LO","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-24","reactions":{},"formalized":true,"family_title":"Rigidity of the Turing degrees"}