All Questions
1 question
15
votes
1
answer
605
views
Nontrivial upper bounds on proof-theoretic ordinals of strong theories: do we have any?
Motivated by Consistency of Analysis (second order arithmetic) and Proof-Theoretic Ordinal of ZFC or Consistent ZFC Extensions?, I have the following question:
Are there any examples of strong ...
- 2,031