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:
“Y’know, George, I feel that in a small way we’re doing something important. It’s satisfying a fundamental urge. It’s deep in the race for a man to want his own roof and walls and fireplace. And we’re helping him get those things in our shabby little office.”
—Frances Goodrich (1891–1984)