Slim models of Zermelo set theory

Journal of Symbolic Logic

Volumn 66, Issue 2, 2001, Pages 487-496

  Mathias, A R D ^a  

^a UNIVERSITÉ DE LA RÉUNION   (France)

Author keywords

Fruitful class; Supertransitive model; Zermelo set theory; Zermelo tower

Indexed keywords

EID: 0035534319     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2695026     Document Type: Article

References (14)

1. W. ACKERMANN, Die Widerspruchsfreiheit der allgemeinen Mengenlehre, Mathematische Annalen, vol. 114 (1937), pp. 305-315.
2. M. BOFFA, Axiome et schéma de fondement dans le système de Zermelo, Bulletin Acad. Polon. Sc. sér. sc. math., vol. 17 (1969), pp. 113-115.
3. _, Une infineté d'axiomes de l'infini mutuellement indépendants dans le système de Zermelo, Comptes Rendus de l' Académie des Sciences, Paris, vol. 268 (1969), p. 205.
4. _, Axiom and Scheme of Foundation, Bulletin de la Société Mathématique de Belguque, vol. 22 (1970), pp. 242-247.
5. P. DU BOIS-REYMOND, Eine neue Theorie der Convergenz und Divergenz von Reihen mit positiven Gliedern, Crelle's Journal für Mathematik, vol. 76 (1873), pp. 61-91.
6. H. B. ENDERTON, Elements of Set Theory, Academic Press, 1977.
7. R. B. JENSEN and M. SCHRÖDER, Mengeninduktion und Fundierungsaxiom, Archiv der Mathematik und Logik der universität Grunlagenforschung, vol. 12 (1969), pp. 119-113, MR 42 #2934.
8. A. R. D. MATHIAS, Notes on Mac Lane Set Theory, CRM Preprint núm, 348, gener 1997.
9. _, The Strength of Mac Lane Set Theory, Annals of Pure and Applied Logic, to appear.
10. _, On sequences generic in the sense of Pricky, Journal of the Australian Mathematical Society, vol. 15 (1973), pp. 409-414, MR 48 #10809.
11. Y. N. MOSCHOVAKIS, Notes on Set Theory, Springer Verlag, 1994.
12. TH. SKOLEM, Einige Bemerkungen zur axiomatischen Begründung der Mengelehre, Matematikerkongressen i Helsingfors den 4-7 Juli 1922, Den femte skandinaviska matematikerkonggressen, Redogörelse, Akademiski Bokhandeln, Helsinki, 1923, pp. 217-232, also, Mengenlehre (U. Felgner, editor), Wissenschaftliche Buchgesellschaft, Darmstadt, 1979, pp. 57-72, and, in English translation, From Frege to Göel (J. van Heijenoort, editor), Harvard University Press, 1967, pp. 290-301.
13. TH. SKOLEM, Einige Bemerkungen zur axiomatischen Begründung der Mengelehre, Matematikerkongressen i Helsingfors den 4-7 Juli 1922, Den femte skandinaviska matematikerkonggressen, Redogörelse, Akademiski Bokhandeln, Helsinki, 1923, pp. 217-232, also, Mengenlehre (U. Felgner, editor), Wissenschaftliche Buchgesellschaft, Darmstadt, 1979, pp. 57-72, and, in English translation, From Frege to Göel (J. van Heijenoort, editor), Harvard University Press, 1967, pp. 290-301.
14. TH. SKOLEM, Einige Bemerkungen zur axiomatischen Begründung der Mengelehre, Matematikerkongressen i Helsingfors den 4-7 Juli 1922, Den femte skandinaviska matematikerkonggressen, Redogörelse, Akademiski Bokhandeln, Helsinki, 1923, pp. 217-232, also, Mengenlehre (U. Felgner, editor), Wissenschaftliche Buchgesellschaft, Darmstadt, 1979, pp. 57-72, and, in English translation, From Frege to Göel (J. van Heijenoort, editor), Harvard University Press, 1967, pp. 290-301.