Ackermann ordinal

Source: Wikipedia, the free encyclopedia.

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