\( \omega^2 \)

From Apeirology Wiki
Revision as of 23:03, 22 March 2024 by CreeperBomb (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search


The ordinal \( \omega^2 \) is the least ordinal which is a limit of limit ordinals, as well as the second infinite additive principal ordinal. It is also equal to the proof-theoretic ordinal of rudimentary function arithmetic, and of Peano arithmetic with induction restricted to \( \Delta^0_0 \)-formulae. It is also the approximate growth rate of Conway's chained arrows in the fast-growing hierarchy.