Comment by Xcelerate
21 hours ago
> 241. Rigidity of the Turing degrees. Every order automorphism of the Turing degrees is the identity.
Wow. This is just crazy.
21 hours ago
> 241. Rigidity of the Turing degrees. Every order automorphism of the Turing degrees is the identity.
Wow. This is just crazy.
Can you elaborate/give context? I haven't heard of this problem before, but curious to hear from someone who has.