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:
“The only government that I recognize—and it matters not how few are at the head of it, or how small its army—is that power that establishes justice in the land, never that which establishes injustice.”
—Henry David Thoreau (1817–1862)