|
2 |
edited tags
|
||
|
1 |
|
||
Ordinal Analysis of Peano Arithmetic with Restricted InductionIf we take Peano Arithmetic and restrict induction to formulas over various fragments of the arithmetic hierarchy, say to the $\Sigma^0_n$ formulas for various $n$ or some other interesting fragments, how does the proof theoretic ordinal for the theory vary?
|
||||

