Small Veblen ordinal

Small Veblen ordinal

In mathematics, the small Veblen ordinal is a certain large countable ordinal, named after Oswald Veblen. It is occasionally called the Ackermann ordinal, though the Ackermann ordinal described by harvtxt|Ackermann|1951 is somewhat smaller than the small Veblen ordinal.

Unfortunately there is no standard notation for ordinals beyond the Feferman–Schütte ordinal Γ0. Most systems of notation use symbols such as ψ(α), θ(α), ψα(β), some of which are modifications of the Veblen functions to produce countable ordinals even for uncountable arguments, and some of which are "collapsing functions".

The small Veblen ordinal phi_Omega^omega(0) or heta(Omega^omega) or psi(Omega^omega) 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 harv|Jervel|2005.

References

*citation|id=MR|0039669
last=Ackermann|first= Wilhelm
title=Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse
journal=Math. Z. |volume=53|year=1951|pages= 403-413|doi= 10.1007/BF01175640

*citation|chapter= Finite Trees as Ordinals
first=Herman Ruge |last=Jervel
series= Lecture Notes in Computer Science
publisher =Springer |place=Berlin / Heidelberg
ISSN = 1611-3349
volume =3526
title=New Computational Paradigms
DOI 10.1007/b136981
year=2005
ISBN =978-3-540-26179-7
DOI =10.1007/11494645_26
pages =211-220

*citation|id=MR|1212407
last=Rathjen|first= Michael|last2= Weiermann|first2= Andreas
title=Proof-theoretic investigations on Kruskal's theorem
journal=Ann. Pure Appl. Logic|volume= 60 |year=1993|issue= 1|pages= 49-88
doi=10.1016/0168-0072(93)90192-G

*citation|title= Continuous Increasing Functions of Finite and Transfinite Ordinals
first= Oswald |last=Veblen
journal= Transactions of the American Mathematical Society|volume= 9|issue= 3|year= 1908|pages=280-292
url= http://links.jstor.org/sici?sici=0002-9947%28190807%299%3A3%3C280%3ACIFOFA%3E2.0.CO%3B2-1

*citation|last=Weaver|first=Nik|url=http://arxiv.org/abs/math/0509244|title=Predicativity beyond Gamma_0|year=2005


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Veblen ordinal — In mathematics, the Veblen ordinal is either of two large countable ordinals: *The small Veblen ordinal *The large Veblen ordinal …   Wikipedia

  • Ordinal collapsing function — In mathematical logic and set theory, an ordinal collapsing function (or projection function) is a technique for defining (notations for) certain recursive large countable ordinals, whose principle is to give names to certain ordinals much larger …   Wikipedia

  • Ordinal number — This article is about the mathematical concept. For number words denoting a position in a sequence ( first , second , third , etc.), see Ordinal number (linguistics). Representation of the ordinal numbers up to ωω. Each turn of the spiral… …   Wikipedia

  • Fonction de Veblen — En mathématiques, et plus précisément en théorie des ensembles, les fonctions de Veblen forment une suite de fonctions définies sur les ordinaux, introduite en 1908 par Oswald Veblen. Sommaire 1 Les fonctions de Veblen 2 La hiérarchie de Veblen …   Wikipédia en Français

  • Ackermann ordinal — In mathematics, the Ackermann ordinal is a certain large countable ordinal, named after Wilhelm Ackermann. The term Ackermann ordinal is also occasionally used for the small Veblen ordinal, a somewhat larger ordinal. Unfortunately there is no… …   Wikipedia

  • Church–Kleene ordinal — In mathematics, the Church–Kleene ordinal, , is a large countable ordinal. It is the smallest non recursive ordinal. It is named after Alonzo Church and S. C. Kleene. References Church, Alonzo; Kleene, S. C. (1937), Formal definitions in the… …   Wikipedia

  • Ordinal notation — In mathematical logic and set theory, an ordinal notation is a finite sequence of symbols from a finite alphabet which names an ordinal number according to some scheme which gives meaning to the language. There are many such schemes of ordinal… …   Wikipedia

  • Large countable ordinal — In the mathematical discipline of set theory, there are many ways of describing specific countable ordinals. The smallest ones can be usefully and non circularly expressed in terms of their Cantor normal forms. Beyond that, many ordinals of… …   Wikipedia

  • Théorème de Kruskal — En mathématiques, le théorème des arbres de Kruskal est un résultat de théorie des graphes conjecturé en 1937 par Andrew Vázsonyi et démontré indépendamment en 1960 par Joseph Kruskal et S. Tarkowski[1], affirmant que l ensemble des arbres… …   Wikipédia en Français

  • List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”