Ordinals I: Basic notions

Annals of Mathematics and Artificial Intelligence

Volumn 16, Issue 1, 1996, Pages 1-26

  Ferbus Zanda, Marie C ^a   Vauzeilles, Jacqueline ^b  

^a UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

^b UNIVERSITÉ PARIS 13   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 21344467883     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF02127792     Document Type: Article

References (11)

1. H. Bachmann, Die Normalfunktionen und Das Problem der augezeichneten Folgen von Ordnungszahlen, Vierteljahrschr. Naturf. Ges. Zurich 95(1950)5-37.
2. M.C. Ferbus-Zanda, Ordinaux, Rapport LITP No. 86-48, Paris (1986).
3. 0, Ann. Pure Appl. Logic 53(1991)199-260.
4. J.Y. Girard, Proof theory and logical complexity, Bibliopolis Napoli (North-Holland, Naples, 1982).
5. T.J. Jech, Lectures in Set Theory, Lecture Notes in Math. 217 (Springer).
6. J.P. Jouannaud and M. Okada, Satisfiability of systems of ordinals notations when the subterm property is decidable, Prepublication (1990).
7. J.L. Krivine, Théorie Axiomatique des Ensembles (Presses Universitaires de France, Paris, 1972).
8. K. Kunen, Set Theory, An Introduction to Independence Proofs, Studies in Logic and the Foundations of Math. 102 (North-Holland, Amsterdam, 1980).
9. 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).
10. K. Schutte, Proof-Theory (Springer, Berlin, 1977).
11. O. Veblen, Continuous increasing functions of finite and transfinite ordinals, Trans. Amer. Math. Soc. 9(1908)280-292.