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:
“There the wicked cease from troubling, and there the weary are at rest. There the prisoners are at ease together; they do not hear the voice of the taskmaster. The small and the great are there, and the slaves are free from their masters.”
—Bible: Hebrew, Job 3:17-19.