Omega^omega: Difference between revisions
no edit summary
RhubarbJayde (talk | contribs) No edit summary |
RhubarbJayde (talk | contribs) No edit summary |
||
Line 4:
* The least limit of additive principal ordinals.
* The least ordinal which is, for all \( n < \omega \), an element of the class \( L^n(\mathrm{Ord}) \), where \( L \) is the limit point operator.
* The proof-theoretic ordinal of
* The proof-theoretic ordinal of
* The proof-theoretic ordinal of Peano arithmetic, with induction restricted to \( \Sigma^0_1 \)-formulae.
* The proof-theoretic ordinal of primitive recursive arithmetic.
|