{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T16:49:52Z","timestamp":1784306992561,"version":"3.55.0"},"reference-count":57,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[2001,6,1]],"date-time":"2001-06-01T00:00:00Z","timestamp":991353600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4429,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[2001,6]]},"DOI":"10.1016\/s0168-0072(00)00031-2","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T16:56:30Z","timestamp":1027616190000},"page":"107-234","source":"Crossref","is-referenced-by-count":46,"title":["The strength of Mac Lane set theory"],"prefix":"10.1016","volume":"110","author":[{"given":"A.R.D.","family":"Mathias","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/S0168-0072(00)00031-2_BIB1","series-title":"Constructibility, Perspectives in Mathematical Logic","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-21723-8","author":"Devlin","year":"1984"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB2","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1090\/pspum\/013.2\/0376348"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB3","doi-asserted-by":"crossref","first-page":"556","DOI":"10.1073\/pnas.24.12.556","article-title":"The consistency of the axiom of choice and of the generalised continuum-hypothesis","volume":"24","author":"G\u00f6del","year":"1938","journal-title":"Proc. Natl. Acad. Sci."},{"key":"10.1016\/S0168-0072(00)00031-2_BIB4","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1073\/pnas.25.4.220","article-title":"Consistency-proof for the generalized continuum-hypothesis","volume":"25","author":"G\u00f6del","year":"1939","journal-title":"Proc. Natl. Acad. Sci."},{"key":"10.1016\/S0168-0072(00)00031-2_BIB5","volume":"Vol. 3","author":"G\u00f6del","year":"1940"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB6","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0003-4843(72)90001-0","article-title":"The fine structure of the constructible hierarchy","volume":"4","author":"Jensen","year":"1972","journal-title":"Ann. Math. Logic"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB7","series-title":"Generalized Recursion Theory II","first-page":"355","article-title":"Short course on admissible recursion theory","author":"Simpson","year":"1978"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB8","doi-asserted-by":"crossref","unstructured":"J.R. Steel, Scales in L(R), in: Cabal Seminar, eds. A.S. Kechris, D.A. Martin and Y.N. Moschovakis, Los Angeles, 1979\u201381, Springer Lecture Notes in Mathematics, Springer, Berlin, pp. 107\u2013156.","DOI":"10.1007\/BFb0071699"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB9","unstructured":"J. Coret, Sur les cas stratifi\u00e9s du sch\u00e9ma de remplacement, C.R. Acad. Sci. Paris S\u00e9r. A, t.271 (1970) 57\u201360."},{"key":"10.1016\/S0168-0072(00)00031-2_BIB10","unstructured":"M. Boffa, Stratified formulas in Zermelo-Fraenkel set theory, Bull. Acad. Polon. Sci. S\u00e9r. Sci. Math. Astr. Phys. 19 (1971)."},{"key":"10.1016\/S0168-0072(00)00031-2_BIB11","doi-asserted-by":"crossref","unstructured":"T. Forster, R. Kaye, End-extensions preserving Power Set, J. Symbolic Logic 56 (1991) 323\u2013328. (Significant typographical errors on p. 327 are corrected in the footnote on p.139 of Ref. [10].)","DOI":"10.2307\/2274922"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB12","unstructured":"P. Aczel, Non-Well-Founded Sets, Lecture Notes, Vol. 14, Center for the Study of Language and Information, Stanford, CA, 1988."},{"key":"10.1016\/S0168-0072(00)00031-2_BIB13","first-page":"113","article-title":"Axiome et sch\u00e9ma de fondement dans le syst\u00e8me de Zermelo","volume":"17","author":"Boffa","year":"1969","journal-title":"Bull. Acad. Polon. Sci. S\u00e9r. Sci. Math."},{"key":"10.1016\/S0168-0072(00)00031-2_BIB14","first-page":"242","article-title":"Axiom and scheme of foundation","volume":"22","author":"Boffa","year":"1970","journal-title":"Bull. Soc. Math. Belg."},{"key":"10.1016\/S0168-0072(00)00031-2_BIB15","doi-asserted-by":"crossref","unstructured":"R.B. Jensen, M. Schr\u00f6der, Mengeninduktion und Fundierungsaxiom, Arch. Math. Logik Grundlag. 12 (1969) 119\u2013133; MR 42 #2934.","DOI":"10.1007\/BF01969698"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB16","doi-asserted-by":"crossref","unstructured":"P. Vop\u011bnka, P.H\u00e1jek, Z. Math. Logik Grundlag. Math. 9 (1963) 235\u2013241, MR 27 # 4749.","DOI":"10.1002\/malq.19630091208"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB17","doi-asserted-by":"crossref","unstructured":"E.J. Thiele, \u00dcber endlich axiomatisierbare Teilsysteme der Zermelo\u2013Fraenkel'schen Mengenlehre, Z. Math. Logik Grundlag. Math. 14 (1968) 39\u201358; MR 36 # 6283.","DOI":"10.1002\/malq.19680140103"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB18","unstructured":"M. Boffa, Une infinit\u00e9 d'axiomes de l'infini mutuellement ind\u00e9pendants dans le syst\u00e8me de Zermelo, C.R. Acad. Sci. Paris S\u00e9r. A, t.268 (1969) 205."},{"key":"10.1016\/S0168-0072(00)00031-2_BIB19","unstructured":"J. Drabbe, Les axiomes de l'infini dans la th\u00e9orie des ensembles sans axiome de substitution, C.R. Acad. Sci. Paris S\u00e9r. A, t.268 (1969) 137."},{"key":"10.1016\/S0168-0072(00)00031-2_BIB20","doi-asserted-by":"crossref","first-page":"487","DOI":"10.2307\/2695026","article-title":"Slim models of Zermelo set theory","volume":"66","author":"Mathias","year":"2001","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB21","doi-asserted-by":"crossref","first-page":"699","DOI":"10.2307\/2275568","article-title":"Finitary sketches","volume":"62","author":"Adam\u00e9k","year":"1997","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB22","unstructured":"C. Casacuberta, D. Scevenels, J.H. Smith, Implications of large-cardinal principles in homotopical localization, to appear."},{"key":"10.1016\/S0168-0072(00)00031-2_BIB23","series-title":"Almost Free Modules","author":"Eklof","year":"1990"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB24","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1112\/S0024609300217037","article-title":"Strong Statements of Analysis","volume":"32","author":"Mathias","year":"2000","journal-title":"Bull. London Math. Soc."},{"key":"10.1016\/S0168-0072(00)00031-2_BIB25","series-title":"Subsystems of Second Order Arithmetic","author":"Simpson","year":"1998"},{"issue":"2","key":"10.1016\/S0168-0072(00)00031-2_BIB26","first-page":"9","article-title":"Mod\u00e8les cumulatifs de la th\u00e9orie des types","volume":"14","author":"Boffa","year":"1977","journal-title":"Publ. D\u00e9p. Math. (Lyon)"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB27","doi-asserted-by":"crossref","first-page":"342","DOI":"10.1112\/blms\/5.3.342","article-title":"Russell as mathematician","volume":"5","author":"Gandy","year":"1973","journal-title":"Bull. London Math. Soc."},{"key":"10.1016\/S0168-0072(00)00031-2_BIB28","doi-asserted-by":"crossref","unstructured":"R.O. Gandy, The simple theory of types, Logic Colloquium \u201976, in: R.O. Gandy, J.M.E. Hyland (Eds.), Studies in Logic, Vol. 87, North-Holland, Amsterdam, pp. 173\u2013181.","DOI":"10.1016\/S0049-237X(09)70426-4"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB29","doi-asserted-by":"crossref","unstructured":"R.B. Jensen, On the consistency of a slight (?) modification of Quine's New Foundations, Synthese 19 (1969) 250\u2013263; also in: D. Davidson, J. Hintikka, Words and Objections: Essays on the Work of W.V. Quine, Reidel, Dordrecht, 1969.","DOI":"10.1007\/BF00568059"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB30","unstructured":"J.G. Kemeny, Type theory and set theory, Thesis, Princeton University, 1949."},{"issue":"1","key":"10.1016\/S0168-0072(00)00031-2_BIB31","first-page":"78","article-title":"Type theory versus set theory, (Abstract)","volume":"15","author":"Kemeny","year":"1950","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB32","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1002\/malq.19750210144","article-title":"Comparing type theory and set theory","volume":"21","author":"Lake","year":"1975","journal-title":"Z. Math. Logik"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB33","doi-asserted-by":"crossref","first-page":"932","DOI":"10.2307\/2275062","article-title":"Sentences of type theory: the only sentences preserved under isomorphisms","volume":"56","author":"Marshall","year":"1991","journal-title":"J. Symbolic Logic."},{"key":"10.1016\/S0168-0072(00)00031-2_BIB34","doi-asserted-by":"crossref","first-page":"45","DOI":"10.2307\/2268548","article-title":"Set-theoretic foundations for logic","volume":"1","author":"Quine","year":"1936","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB35","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BF01708855","article-title":"Einige Betrachtungen \u00fcber die Begriffe der \u03c9-Widerspruchsfreiheit und der \u03c9-Vollst\u00e4ndigkeit.","volume":"40","author":"Tarski","year":"1933","journal-title":"Monatsh. Math. Phys."},{"key":"10.1016\/S0168-0072(00)00031-2_BIB36","volume":"Vol. 14","author":"Bell","year":"1988"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB37","unstructured":"J.C. Cole, Categories of sets and models of set theory, in: J. Bell, A. Slomson (Eds.), Proceedings of the Bertand Russell Memorial Conference held at Uldum, Denmark, 1971, Leeds, 1973, pp. 351\u2013399; MR 50 # 9584."},{"key":"10.1016\/S0168-0072(00)00031-2_BIB38","series-title":"Topos Theory","author":"Johnstone","year":"1977"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB39","doi-asserted-by":"crossref","unstructured":"W. Mitchell, Boolean topoi and the theory of sets, J. Pure Appl. Algebra 2 (1972) 261\u2013274; MR 47 # 8299.","DOI":"10.1016\/0022-4049(72)90006-0"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB40","doi-asserted-by":"crossref","unstructured":"G. Osius, Categorical set theory: a characterisation of the category of sets, J. Pure Appl. Algebra 4 (1974) 79\u2013119; MR 51 # 643.","DOI":"10.1016\/0022-4049(74)90032-2"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB41","series-title":"Mathematical Logic and Hilbert's \u03f5-symbol","author":"Leisenring","year":"1969"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB42","series-title":"Admissible sets and structures, Perspectives in Mathematical Logic","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-11035-5","author":"Barwise","year":"1975"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB43","first-page":"539","article-title":"Countable models of set theories","volume":"Vol. 337","author":"Friedman","year":"1973"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB44","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1090\/S0002-9904-1960-10518-6","article-title":"On a problem of Kleene's","volume":"66","author":"Gandy","year":"1960","journal-title":"Bull. Amer. Math. Soc."},{"key":"10.1016\/S0168-0072(00)00031-2_BIB45","series-title":"Higher Recursion Theory, Perspectives in Mathematical Logic","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-12013-2","author":"Sacks","year":"1990"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB46","first-page":"281","article-title":"\u0394\u03031-definability in set theory","volume":"Vol. 255","author":"Takahashi","year":"1972"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB47","volume":"Vol. 189","author":"Adamek","year":"1993"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB48","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/BF00414286","article-title":"Nicolas Bourbaki and the concept of mathematical structure","volume":"92","author":"Corry","year":"1992","journal-title":"Synthese"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB49","volume":"Vol. 17","author":"Corry","year":"1996"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB50","series-title":"Mathematics: Form and Function","author":"MacLane","year":"1986"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB51","first-page":"119","article-title":"Is Mathias an ontologist?","volume":"Vol. 26","author":"Mac Lane","year":"1992"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB52","first-page":"113","article-title":"What is Mac Lane missing?","volume":"Vol. 26","author":"Mathias","year":"1992"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB53","doi-asserted-by":"crossref","unstructured":"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\u00e9szet Vil\u00e1ga, 1998.","DOI":"10.1007\/BF03025863"},{"key":"10.1016\/S0168-0072(00)00031-2_BIB54","unstructured":"A.R.D. Mathias, Danish Lectures on Bourbaki, Mac Lane, and the Foundations of Mathematics, in preparation."},{"key":"10.1016\/S0168-0072(00)00031-2_NEWBIB55","doi-asserted-by":"crossref","unstructured":"T. Forster, Set Theory with a Universal Set, Oxford Logic Guides, Vol. 20, Clarendon Press, Oxford, 1992; 2nd Ed. 1995.","DOI":"10.1093\/oso\/9780198514770.001.0001"},{"key":"10.1016\/S0168-0072(00)00031-2_NEWBIB56","doi-asserted-by":"crossref","unstructured":"S. Mac Lane, I. Moerdijk, Sheaves in geometry and logic: a first introduction to topos theory, Universitext series, Springer, New York, London, 1992 (reprinted 1994).","DOI":"10.1007\/978-1-4612-0927-0"},{"key":"10.1016\/S0168-0072(00)00031-2_NEWBIB57","doi-asserted-by":"crossref","unstructured":"A. Joyal and I. Moerdijk, Algebraic Set Theory, London Mathematical Society Lecture Notes Series, volume 220, Cambridge University Press, Cambridge, 1995.","DOI":"10.1017\/CBO9780511752483"}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007200000312?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007200000312?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,12,31]],"date-time":"2023-12-31T20:25:42Z","timestamp":1704054342000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0168007200000312"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,6]]},"references-count":57,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2001,6]]}},"alternative-id":["S0168007200000312"],"URL":"https:\/\/doi.org\/10.1016\/s0168-0072(00)00031-2","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[2001,6]]}}}