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:
“When I think of this life I have led; the desolation of solitude it has been; the masoned, walled-town of a Captain’s exclusiveness, which admits but small entrance to any sympathy from the green country without—oh, weariness! heaviness! Guinea-coast slavery of solitary command!”
—Herman Melville (1819–1891)