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).
Famous quotes containing the word small:
“By nature, by necessity itself, [primitive man] is encyclopedic, while civilized man finds himself confined in the infinitely small regions of specialization.”
—Charles Baudelaire (1821–1867)