Get Small Veblen Ordinal essential facts below. View Videos or join the Small Veblen Ordinal discussion. Add Small Veblen Ordinal to your PopFlock.com topic list for future reference or share this resource on social media.
Unfortunately there is no standard notation for ordinals beyond the Feferman-Schütte ordinal ?0. Most systems of notation use symbols such as ?(?), ?(?), ??(?), some of which are modifications of the Veblen functions to produce countable ordinals even for uncountable arguments, and some of which are "collapsing functions".
The small Veblen ordinal or or is the limit of ordinals that can be described using a version of Veblen functions with finitely many arguments. It is the ordinal that measures the strength of Kruskal's theorem. It is also the ordinal type of a certain ordering of rooted trees (Jervell 2005).
Ackermann, Wilhelm (1951), "Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse", Math. Z., 53 (5): 403-413, doi:10.1007/BF01175640, MR0039669