Omega^2: Difference between revisions
Jump to navigation
Jump to search
Content added Content deleted
(Created page with "The ordinal \( \omega^2 \) is the least ordinal which is a limit of limit ordinals. It is also the growth rate of Conway chained arrows in the fast-growing hierarchy.") |
CreeperBomb (talk | contribs) mNo edit summary |
||
| (One intermediate revision by one other user not shown) | |||
| Line 1: | Line 1: | ||
{{DISPLAYTITLE:\( \omega^2 \)}} |
|||
| ⚫ | |||
| ⚫ | 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. |
||
Latest revision as of 23:03, 22 March 2024
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.