Abstract
The first part of this paper is a presentation of some common applications of ordinals: definition of a system of ordinal notations for ordinals less than Γ0, direct connection between Kruskal's theorem and Γ0, consistency proofs in proof theory (such as the consistency of Peano arithmetic by means of transfinite induction up to ε0). In the second part of the paper, a functorial construction of ordinals and in particular of the Veblen hierarchy is explained. This approach, introduced by Girard (theory of dilators), allows the construction of ordinals greater than Γ0 to be pursued in a more natural way than if the Bachmann hierarchy is used.
Similar content being viewed by others
References
H. Bachmann, Die Normalfunktionen und Das Problem der augezeichneten Folgen von Ordnungszahlen, Vierteljahrschr. Naturf. Ges. Zurich 95(1950)5–37.
S. Feferman, Systems of predicative analysis II: Representation of ordinals, J. Symb. Logic 33(1968)193–220.
S. Feferman, Formal theories for transfinite iterations of generalized inductive definitions and some subsystems of analysis,Proc. Summer Conf. at Buffalo, NY, eds. A. Kino, J. Myhill and E. Vesley (1970).
M. Ferbus and J. Vauzeilles, Ordinals I: Basic notions, this volume, Ann. of Math. and AI 16(1996).
J.H. Gallier, What's so special about Kruskal's theorem and the ordinal Γ0, Ann. Pure Appl. Logic, 53(1991)199–260.
G. Gentzen, The collected works of Gehrard Gentzen, ed. M.E. Szabo (North-Holland, Amsterdam, 1969) pp. 68–131.
J.Y. Girard, Γ 12 -logic. I: Dilators, Ann. Math. Logic 21(1981)75–219.
J.Y. Girard, Proof theory and logical complexity,Bibliopolis Napoli (North-Holland, Naples, 1982).
J.Y. Girard and J. Vauzeilles, Functors and ordinal notations. I: A functorial construction of the Veblen hierarchy, J. Symb. Logic 49(1984)713–729.
J.Y. Girard and J. Vauzeilles, Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchy, J. Symb. Logic 49(1984)1079–1114.
J.B. Kruskal, Well-quasi-ordering, the tree theorem, and Vazsonyi's conjecture, Trans. AMS 95(1960)210–225.
M. Rusinowitch, Démonstration Automatique par des techniques de réécriture. Thèse de Doctorat d'Etat en Mathématiques, Université de Nancy 1 (1987).
K. Schutte,Proof-Theory (Springer, Berlin, 1977).
C. Smorynski, The varieties of arboreal experience, in:Harvey Friedman's Research on the Foundations of Mathematics, eds. L.A. Harrington, M.D. Morley and A. Scedrov (North-Holland, Amsterdam, 1985) pp. 381–397.
J. Vauzeilles, Functors and ordinal notations. III: Dilators and gardens,Proc. Herbrand Symp., Marseille, 1981, ed. Stern (North-Holland, 1982) pp. 333–364.
J. Vauzeilles, Functors and ordinal notations. IV: The Howard ordinal and the functor A, J. Symb. Logic 50(1985)331–338.
O. Veblen, Continuous increasing functions of finite and transfinite ordinals, Trans. Amer. Math. Soc. 9(1908)280–292.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Vauzeilles, J. Ordinals II: Some applications and a functorial approach. Ann Math Artif Intell 16, 27–57 (1996). https://doi.org/10.1007/BF02127793
Issue Date:
DOI: https://doi.org/10.1007/BF02127793