| ▲ | Xcelerate an hour ago | |
> 241. Rigidity of the Turing degrees. Every order automorphism of the Turing degrees is the identity. Wow. This is just crazy. | ||
| ▲ | Xcelerate an hour ago | |
> 241. Rigidity of the Turing degrees. Every order automorphism of the Turing degrees is the identity. Wow. This is just crazy. | ||