Ordinals II: Some applications and a functorial approach

Annals of Mathematics and Artificial Intelligence

Volumn 16, Issue 1, 1996, Pages 27-57

  Vauzeilles, Jacqueline ^a  

^a UNIVERSITÉ PARIS 13   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 21344454969     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF02127793     Document Type: Article

References (17)

1. H. Bachmann, Die Normalfunktionen und Das Problem der augezeichneten Folgen von Ordnungszahlen, Vierteljahrschr. Naturf. Ges. Zurich 95(1950)5-37.
2. S. Feferman, Systems of predicative analysis II: Representation of ordinals, J. Symb. Logic 33(1968)193-220.
3. 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).
4. M. Ferbus and J. Vauzeilles, Ordinals I: Basic notions, this volume, Ann. of Math, and AI 16(1996).
5. 0, Ann. Pure Appl. Logic, 53(1991)199-260.
6. G. Gentzen, The collected works of Gehrard Gentzen, ed. M.E. Szabo (North-Holland, Amsterdam, 1969) pp. 68-131.
7. 1-logic. I: Dilators, Ann. Math. Logic 21(1981)75-219.
8. J.Y. Girard, Proof theory and logical complexity, Bibliopolis Napoli (North-Holland, Naples, 1982).
9. 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.
10. 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.
11. J.B. Kruskal, Well-quasi-ordering, the tree theorem, and Vazsonyi's conjecture, Trans. AMS 95 (1960)210-225.
12. 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).
13. K. Schutte, Proof-Theory (Springer, Berlin, 1977).
14. C. Smorynski, The varieties of arboreal experience, in: Harvey Friedman's Research on she Foundations of Mathematics, eds. L.A. Harrington, M.D. Morley and A. Scedrov (North-Holland, Amsterdam, 1985) pp. 381-397.
15. J. Vauzeilles, Functors and ordinal notations. III: Dilators and gardens, Proc. Herbrand Symp., Marseille, 1981, ed. Stern (North-Holland, 1982) pp. 333-364.
16. J. Vauzeilles, Functors and ordinal notations. IV: The Howard ordinal and the functor A, J. Symb. Logic 50(1985)331-338.
17. O. Veblen, Continuous increasing functions of finite and transfinite ordinals, Trans. Amer. Math. Soc. 9(1908)280-292.