Newbetuts
.
New posts in ordinal-analysis
How do we know PA is incomparable with PRA + $\epsilon_0$?
logic
proof-theory
peano-axioms
ordinal-analysis
Small proof-theoretic ordinals
logic
reference-request
proof-theory
ordinal-analysis
Prev