Ackermann ordinal
In mathematics, the Ackermann ordinal is a certain large countable ordinal, named after Wilhelm Ackermann. The term "Ackermann ordinal" is also occasionally used for the small Veblen ordinal, a somewhat larger ordinal.
There is no standard notation for ordinals beyond the
collapsing functions
". The last one is an extension of the Veblen functions for more than 2 arguments.
The smaller Ackermann ordinal is the limit of a system of ordinal notations invented by Ackermann (1951), and is sometimes denoted by or , , or , where Ω is the
smallest uncountable ordinal. Ackermann's system of notation is weaker than the system introduced much earlier by Veblen (1908)
, which he seems to have been unaware of.
References
- Ackermann, Wilhelm (1951), "Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse", Math. Z., 53 (5): 403–413, S2CID 119687180
- Veblen, Oswald (1908), "Continuous Increasing Functions of Finite and Transfinite Ordinals", Transactions of the American Mathematical Society, 9 (3): 280–292, JSTOR 1988605
- Weaver, Nik (2005), "Predicativity beyond Γ0", arXiv:math/0509244