Omega^2

From Apeirology Wiki
Revision as of 13:40, 30 August 2023 by RhubarbJayde (talk | contribs)
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.