The strength of Mac Lane set theory

Annals of Pure and Applied Logic

Volumn 110, Issue 1-3, 2001, Pages 107-234

  Mathias, A R D ^a  

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

Author keywords

Axiom H spectacles; Conservative extension; Constructibility; Forcing over non standard models; Forster Kaye set theory; Kripke Platek set theory; Mac Lane set theory; Mostowski's principle; Power admissible set; Simple theory of types; Stratifiable formula

Indexed keywords

EID: 0012868162     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0168-0072(00)00031-2     Document Type: Article

References (60)

1. K.J. Devlin, Constructibility, Perspectives in Mathematical Logic, Springer, Berlin, 1984.
2. R.O. Gandy, Set-theoretic functions for elementary syntax, in: T. Jech (Ed.), Proceedings of Symposia in Pure Mathematics, Vol. 13, Part II, American Mathematical Society, Providence, RI, 1974.
3. K. Gödel, The consistency of the axiom of choice and of the generalised continuum-hypothesis, Proc. Natl. Acad. Sci. 24 (1938) 556-557.
4. K. Gödel, Consistency-proof for the generalized continuum-hypothesis, Proc. Natl. Acad. Sci. 25 (1939) 220-224.
5. K. Gödel, The Consistency of the Axiom of Choice and the Generalised Continuum Hypothesis, Annals of Mathematics Studies, Vol. 3, Princeton University Press, Princeton, NJ, 1940.
6. R.B. Jensen, The fine structure of the constructible hierarchy, Ann. Math. Logic 4 (1972) 229-308.
7. S.G. Simpson, Short course on admissible recursion theory, in: J.-E. Fenstad, R.O. Gandy, G.E. Sacks (Eds.), Generalized Recursion Theory II, North-Holland, Amsterdam, 1978, pp. 355-390.
8. J.R. Steel, Scales in L(R), in: Cabal Seminar, eds. A.S. Kechris, D.A. Martin and Y.N. Moschovakis, Los Angeles, 1979-81, Springer Lecture Notes in Mathematics, Springer, Berlin, pp. 107-156.
9. J. Coret, Sur les cas stratifiés du schéma de remplacement, C.R. Acad. Sci. Paris Sér. A, t.271 (1970) 57-60.
10. M. Boffa, Stratified formulas in Zermelo-Fraenkel set theory, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astr. Phys. 19 (1971).
11. T. Forster, R. Kaye, End-extensions preserving Power Set, J. Symbolic Logic 56 (1991) 323-328. (Significant typographical errors on p. 327 are corrected in the footnote on p. 139 of Ref. [10].)
12. T. Forster, Set Theory with a Universal Set, Oxford Logic Guides, Vol. 20, Clarendon Press, Oxford, 1992; 2nd Ed. 1995.
13. P. Aczel, Non-Well-Founded Sets, Lecture Notes, Vol. 14, Center for the Study of Language and Information, Stanford, CA, 1988.
14. M. Boffa, Axiome et schéma de fondement dans le système de Zermelo, Bull. Acad. Polon. Sci. Sér. Sci. Math. 17 (1969) 113-115.
15. M. Boffa, Axiom and scheme of foundation, Bull. Soc. Math. Belg. 22 (1970) 242-247.
16. R.B. Jensen, M. Schröder, Mengeninduktion und Fundierungsaxiom, Arch. Math. Logik Grundlag. 12 (1969) 119-133; MR 42 #2934.
17. P. Vopěnka, P. Hájek, Z. Math. Logik Grundlag. Math. 9 (1963) 235-241 MR 27 # 4749.
18. E.J. Thiele, Über endlich axiomatisierbare Teilsysteme der Zermelo-Fraenkel'sehen Mengenlehre, Z. Math. Logik Grundlag. Math. 14 (1968) 39-58; MR 36 # 6283.
19. M. Boffa, Une infinité d'axiomes de l'infini mutuellement indépendants dans le système de Zermelo, C.R. Acad. Sci. Paris Sér. A, t.268 (1969) 205.
20. J. Drabbe, Les axiomes de l'infini dans la théorie des ensembles sans axiome de substitution, C.R. Acad. Sci. Paris Sér. A, t.268 (1969) 137.
21. A.R.D. Mathias, Slim models of Zermelo set theory, J. Symbolic Logic 66 (2001) 487-496.
22. J. Adamék, P.T. Johnstone, J.A. Makowsky, J. Rosický , Finitary sketches, J. Symbolic Logic 62 (1997) 699-707.
23. C. Casacuberta, D. Scevenels, J.H. Smith, Implications of large-cardinal principles in homotopical localization, to appear.
24. P.C. Eklof, A.M. Mekler, Almost Free Modules: Set-Theoretic Methods, North-Holland, Amsterdam, 1990.
25. A.R.D. Mathias, Strong Statements of Analysis, Bull. London Math. Soc. 32 (2000) 513-526.
26. S.G. Simpson, Subsystems of Second Order Arithmetic, Springer, Berlin, 1998.
27. M. Boffa, Modèles cumulatifs de la théorie des types, Publ. Dép. Math. (Lyon) 14 (2) (1977) 9-12.
28. R.O. Gandy, Russell as mathematician, Bull. London Math. Soc. 5 (1973) 342-348.
29. R.O. Gandy, The simple theory of types, Logic Colloquium '76, in: R.O. Gandy, J.M.E. Hyland (Eds.), Studies in Logic, Vol. 87, North-Holland, Amsterdam, pp. 173-181.
30. R.B. Jensen, On the consistency of a slight (?) modification of Quine's New Foundations, Synthese 19 (1969) 250-263; also in: D. Davidson, J. Hintikka, Words and Objections: Essays on the Work of W.V. Quine, Reidel, Dordrecht, 1969.
31. R.B. Jensen, On the consistency of a slight (?) modification of Quine's New Foundations, Synthese 19 (1969) 250-263; also in: D. Davidson, J. Hintikka, Words and Objections: Essays on the Work of W.V. Quine, Reidel, Dordrecht, 1969.
32. J.G. Kemeny, Type theory and set theory, Thesis, Princeton University, 1949.
33. J.G. Kemeny, Type theory versus set theory, (Abstract), J. Symbolic Logic 15 (1) (1950) 78.
34. J. Lake, Comparing type theory and set theory, Z. Math. Logik 21 (1975) 355-356.
35. M. V. Marshall, R. Chuaqui, Sentences of type theory: the only sentences preserved under isomorphisms, J. Symbolic Logic. 56 (1991) 932-948.
36. W.V.O. Quine, Set-theoretic foundations for logic, J. Symbolic Logic 1 (1936) 45-57.
37. A. Tarski, Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit., Monatsh. Math. Phys. 40 (1933) 97-112.
38. J.L. Bell, Toposes and Local Set Theories, Oxford Logic Guides, Vol. 14, Clarendon Press, Oxford, 1988.
39. J.C. Cole, Categories of sets and models of set theory, in: J. Bell, A. Slomson (Eds.), Proceedings of the Bertrand Russell Memorial Conference held at Uldum, Denmark, 1971, Leeds, 1973, pp. 351-399; MR 50 # 9584.
40. P.T. Johnstone, Topos Theory, Academic Press, New York, 1977.
41. W. Mitchell, Boolean topoi and the theory of sets, J. Pure Appl. Algebra 2 (1972) 261-274; MR 47 # 8299.
42. G. Osius, Categorical set theory: a characterisation of the category of sets, J. Pure Appl. Algebra 4 (1974) 79-119; MR 51 # 643.
43. S. Mac Lane and I. Moerdijk, Sheaves in geometry and logic: a first introduction to topos theory, Universitext series, Springer, New York, London, 1992 (reprinted 1994).
44. A.C. Leisenring, Mathematical Logic and Hilbert's ε-symbol, Macdonald Technical and Scientific, London, 1969.
45. J. Barwise, Admissible sets and structures, Perspectives in Mathematical Logic, Springer, Berlin, 1975.
46. H.M. Friedman, Countable models of set theories, in: A.R.D. Mathias, H. Rogers Jr. (Eds.), Cambridge Summer School in Mathematical Logic, August 1-21, 1971, Springer Lecture Notes in Mathematics, Vol. 337 Springer, Berlin, 1973 pp. 539-573.
47. R.O. Gandy, On a problem of Kleene's, Bull. Amer. Math. Soc. 66 (1960) 501-502.
48. G.E. Sacks, Higher Recursion Theory, Perspectives in Mathematical Logic, Springer, Berlin, 1990.
49. 1-definability in set theory, in: W. Hodges (Ed.), Conference in mathematical logic -London '70, Springer Lecture Notes in Mathematics, Vol. 255, Springer, Berlin, 1972, pp. 281-304.
50. J. Adamek, R. Rosicky, Locally Presentable and Accessible Categories, London Mathematical Society Lecture Notes Series, Vol. 189, Cambridge University Press, Cambridge, 1993.
51. L. Corry, Nicolas Bourbaki and the concept of mathematical structure, Synthese 92 (1992) 315-348.
52. L. Corry, Modern Algebra and the Rise of Mathematical Structures, Science Networks Historical Studies Vol. 17, Birkhäuser-Verlag, Basel, Boston, Berlin, 1996.
53. S. MacLane, Mathematics: Form and Function, Springer, Berlin, 1986.
54. S. Mac Lane, Is Mathias an ontologist? in: H. Judah, W. Just, H. Woodin (Eds.), Set Theory of the Continuum, Mathematical Sciences Research Institute Publications, Vol. 26, Springer, Berlin, 1992, pp. 119-122.
55. A.R.D. Mathias, What is Mac Lane missing? in: H. Judah, W. Just, H. Woodin (Eds.), Set Theory of the Continuum, MSRI Publications, Vol. 26 Springer, Berlin, 1992, pp. 113-118.
56. A.R.D. Mathias, The Ignorance of Bourbaki, Mathematical Intelligencer, July, 1992. Also in Physis, 1991, and in a Hungarian translation by A. Racz, in A Természet Világa, 1998.
57. A.R.D. Mathias, The Ignorance of Bourbaki, Mathematical Intelligencer, July, 1992. Also in Physis, 1991, and in a Hungarian translation by A. Racz, in A Természet Világa, 1998.
58. A.R.D. Mathias, The Ignorance of Bourbaki, Mathematical Intelligencer, July, 1992. Also in Physis, 1991, and in a Hungarian translation by A. Racz, in A Természet Világa, 1998.
59. A.R.D. Mathias, Danish Lectures on Bourbaki, Mac Lane, and the Foundations of Mathematics, in preparation.
60. A. Joyal and I. Moerdijk, Algebraic Set Theory, London Mathematical Society Lecture Notes Series, volume 220, Cambridge University Press, Cambridge, 1995.