Complexity rankings (P vs NP, Turing degrees) correlate with proof-theoretic choices rather than dis...
This proposition has not been edited since the history system was added.