{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T20:14:34Z","timestamp":1776888874133,"version":"3.51.2"},"reference-count":78,"publisher":"Elsevier","isbn-type":[{"value":"9780444516213","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1016\/b978-0-444-51621-3.50008-6","type":"book-chapter","created":{"date-parts":[[2012,4,21]],"date-time":"2012-04-21T15:43:50Z","timestamp":1335023030000},"page":"559-632","source":"Crossref","is-referenced-by-count":6,"title":["Alternative Set Theories"],"prefix":"10.1016","author":[{"given":"M. Randall","family":"Holmes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Forster","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thierry","family":"Libert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0010","first-page":"1","article-title":"A Cook's Tour of the Finitary Non-Well-Founded Sets","volume":"vol. 1","author":"Abramsky","year":"2005"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0015","series-title":"The Kleene Symposium","article-title":"On the notion of proposition, truth and set","author":"Aczel","year":"1980"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0020","series-title":"Non-well-founded Sets","author":"Aczel","year":"1988"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0025","unstructured":"P. Apostoli and A. Kanda. Parts of the continuum: towards a modern ontology of science. To appear in The Poznan Studies in the Philosophy of Science and the Humanities, ed. L. Nowak."},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0030","first-page":"98","article-title":"Approximation spaces of type-free sets","volume":"vol. 2005","author":"Apostoli","year":"2000"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0035","series-title":"Vicious Circles","author":"Barwise","year":"1996"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0040","first-page":"7","article-title":"Forcing et Negation de l'axiome de Fondement","author":"Boffa","year":"1972","journal-title":"Mem. Acad. Sci. Belg."},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0045","series-title":"Jahrbuch der Kurt G\u00f6del Gesellschaft","first-page":"102","article-title":"ZFJ and the consistency problem for NF","author":"Boffa","year":"1988"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0050","doi-asserted-by":"crossref","first-page":"215","DOI":"10.2307\/2025204","article-title":"The iterative conception of set","volume":"68","author":"Boolos","year":"1971","journal-title":"Journal of Philosophy"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0055","doi-asserted-by":"crossref","first-page":"17","DOI":"10.2178\/jsl\/1231082300","article-title":"Normal subgroups of infinite symmetric groups with an application to stratified set theory","volume":"74","author":"Bowler","year":"2009","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0060","series-title":"Proceedings of the Tarski symposium","first-page":"297","article-title":"Set theory with a universal set","volume":"vol. XXV","author":"Church","year":"1974"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0065","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/S0168-0072(99)00052-4","article-title":"The Wholeness Axiom and Laver Sequences","volume":"105","author":"Corazza","year":"2000","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0070","doi-asserted-by":"crossref","first-page":"131","DOI":"10.2307\/2273386","article-title":"On the consistency of an impredicative subsystem of Quine's NF","volume":"47","author":"Crabb\u00e9","year":"1982","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0075","series-title":"Interpr\u00e9tations mutuelles entre une th\u00e9orie positive des ensembles et une extension de la th\u00e9orie de Kelley-Morse","author":"Esser","year":"1997"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0080","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1002\/malq.19990450110","article-title":"On the consistency of a positive theory","volume":"45","author":"Esser","year":"1999","journal-title":"Mathematical Logic Quarterly"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0085","series-title":"Une th\u00e9orie positive des ensembles","author":"Esser","year":"2004"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0090","doi-asserted-by":"crossref","first-page":"95","DOI":"10.2307\/2267330","volume":"13","author":"Fitch","year":"1948","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0095","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0168-0072(87)90040-6","article-title":"Implication and analysis in classical Frege structures","volume":"34","author":"Flagg","year":"1987","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0100","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0168-0072(87)90008-X","article-title":"\u03ba-continuous lattices and comprehension principles for Frege structures","volume":"36","author":"Flagg","year":"1987","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0105","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0168-0072(89)90026-2","article-title":"A type-free system extending ZFC","volume":"43","author":"Flagg","year":"1989","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0110","series-title":"\u00dcber den Begriff \u2018definit\u2019 und die Unabh\u00e4ngigkeit des Auswahlaxioms, Sitzungsberichte der Preussischen Akademie derWissenschaften","first-page":"253","author":"Fraenkel","year":"1922"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0115","series-title":"NF","author":"Forster","year":"1976"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0120","doi-asserted-by":"crossref","first-page":"227","DOI":"10.2178\/jsl\/1140641171","article-title":"Permutations and wellfoundedness: the true meaning of the bizarre arithmetic of Quine's NF","volume":"71","author":"Forster","year":"2006","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0125","doi-asserted-by":"crossref","first-page":"1401","DOI":"10.2307\/2274822","article-title":"The consistency problem for positive comprehension principles","volume":"54","author":"Forti","year":"1989","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0130","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0168-0072(95)00009-7","article-title":"Choice principles in Hyperuniverses","volume":"77","author":"Forti","year":"1996","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0135","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0304-3975(95)00087-9","article-title":"A general construction of hyperuniverses","volume":"156","author":"Forti","year":"1996","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0140","first-page":"493","article-title":"Set theory with free construction principles","volume":"10","author":"Forti","year":"1983","journal-title":"Annali Scuola normale superiore, Pisa, classe di scienze"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0145","series-title":"Axiomatic Set Theory","first-page":"147","article-title":"The consistency of partial set theory without extensionality","volume":"vol. 13","author":"Gilmore","year":"1974"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0150","series-title":"The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory","author":"G\u00f6del","year":"1940"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0155","first-page":"1387","article-title":"Consistency of a fragment of Quine's NF system","volume":"10","author":"Grishin","year":"1969","journal-title":"Sov. Math. Dokl."},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0160","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2267307","article-title":"A set of axioms for logic","volume":"9","author":"Hailperin","year":"1944","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0165","doi-asserted-by":"crossref","first-page":"59","DOI":"10.2307\/2271726","article-title":"Type-raising operations in NF","volume":"38","author":"Henson","year":"1973","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0170","doi-asserted-by":"crossref","first-page":"828","DOI":"10.2178\/jsl\/1058448441","article-title":"Positive abstraction and extensionality","volume":"68","author":"Hinnion","year":"2003","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0175","doi-asserted-by":"crossref","first-page":"87","DOI":"10.2307\/2694912","article-title":"Strong axioms of infinity in NFU","volume":"66","author":"Holmes","year":"2001","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0180","series-title":"Elementary Set Theory with a Universal Set","author":"Holmes","year":"1998"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0185","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1023\/B:STUD.0000034184.03045.7d","article-title":"Paradoxes in double extension set theories","volume":"77","author":"Holmes","year":"2004","journal-title":"Studia Logica"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0190","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1007\/s11225-005-3611-x","article-title":"The structure of the ordinals and the interpretation of ZF in double extension set theory","volume":"79","author":"Holmes","year":"2005","journal-title":"Studia Logica"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0195","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1007\/BF00568059","article-title":"On the consistency of a slight (?) modification of Quine's \u2018New Foundations","volume":"19","author":"Jensen","year":"1969","journal-title":"Synthese"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0200","first-page":"171","article-title":"A very strong set theory?, Studia Logica","author":"Kisielewicz","year":"1998","journal-title":"61"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0205","series-title":"General Topology","author":"Kelley","year":"1976"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0210","first-page":"78","article-title":"Type theory vs. set theory (abstract)","volume":"15","author":"Kemeny","year":"1950","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0215","series-title":"Admissible Sets and Structures","author":"Barwise","year":"1975"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0220","doi-asserted-by":"crossref","first-page":"154","DOI":"10.2307\/2964757","article-title":"On Ackermann's set theory","volume":"24","author":"Levy","year":"1959","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0225","series-title":"The Age of Alternative Logics","article-title":"Semantics for Na\u00efve Set Theory in Many-valued Logics: Technique and Historical Account","author":"Libert","year":"2004"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0230","first-page":"149","article-title":"Positive abstraction and extensionality revisited","volume":"51","author":"Libert","year":"2008","journal-title":"Log. Anal."},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0235","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1002\/malq.200710053","article-title":"Positive Frege and its Scott-style semantics","volume":"54","author":"Libert","year":"2008","journal-title":"Mathematical Logic Quarterly"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0240","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1002\/malq.200410026","article-title":"On topological set theory","volume":"51","author":"Libert","year":"2005","journal-title":"Mathematical Logic Quarterly"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0245","series-title":"Mathematics, Form and Function","author":"Mac Lane","year":"1986"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0250","series-title":"Set Theory in which the Axiom of Foundation Fails","author":"Malitz","year":"1976"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0255","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1002\/malq.19840303503","article-title":"On Skala's set theory","volume":"30","author":"Manakos","year":"1984","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0260","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/S0168-0072(00)00031-2","article-title":"The strength of Mac Lane set theory","volume":"110","author":"Mathias","year":"2001","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0265","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":"The Journal of Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0270","doi-asserted-by":"crossref","first-page":"1165","DOI":"10.1090\/S0002-9904-1977-14398-X","article-title":"Internal set theory, a new approach to nonstandard analysis","volume":"83","author":"Nelson","year":"1977","journal-title":"Bulletin of the American Mathematical Society"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0275","series-title":"Set Theory and its Philosophy","author":"Potter","year":"2004"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0280","doi-asserted-by":"crossref","first-page":"70","DOI":"10.2307\/2300564","article-title":"New Foundations for Mathematical Logic","volume":"44","author":"Quine","year":"1937","journal-title":"American Mathematical Monthly"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0285","doi-asserted-by":"crossref","first-page":"95","DOI":"10.2307\/2267028","article-title":"On ordered pairs","volume":"10","author":"Quine","year":"1945","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0290","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1112\/plms\/s2-25.1.338","article-title":"The foundations of mathematics","volume":"25","author":"Ramsey","year":"1926","journal-title":"Proceedings of the London Mathematical Society 2"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0295","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0003-4843(70)90011-2","article-title":"Ackermann's set theory equals ZF","volume":"2","author":"Reinhardt","year":"1970","journal-title":"Annals of Mathematical Logic"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0300","doi-asserted-by":"crossref","first-page":"407","DOI":"10.2307\/2269948","article-title":"Elementary embeddings and infinitary combinatorics","author":"Kunen","year":"1971","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0305","series-title":"Nonstandard Analysis","author":"Robinson","year":"1966"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0310","series-title":"Logic for Mathematicians","author":"Rosser","year":"1973"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0315","series-title":"The Principles of Mathematics","author":"Russell","year":"1996"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0320","first-page":"442","article-title":"Definitions by abstraction in axiomatic set theory","volume":"61","author":"Scott","year":"1955","journal-title":"Bulletin of the American Mathematical Society"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0325","series-title":"\u03bb-Calculus and computer science","first-page":"1","article-title":"Combinators and classes","volume":"vol. 37","author":"Scott","year":"1975"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0330","series-title":"Logic from Russell to Church","first-page":"819","article-title":"Logic from Church to Curry","author":"Seldin","year":"2009"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0335","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1002\/malq.19740201308","article-title":"An alternative way of avoiding the set-theoretical paradoxes","volume":"20","author":"Skala","year":"1974","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0340","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1305\/ndjfl\/1093956425","article-title":"Investigations on a comprehension axiom without negation in the defining propositional functions","volume":"1","author":"Skolem","year":"1960","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0345","unstructured":"R. Solovay. The consistency strength of NFUB, preprint, available through logic e-prints on the WWW."},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0350","doi-asserted-by":"crossref","first-page":"972","DOI":"10.1073\/pnas.39.9.972","article-title":". The axiom of choice in Quine's \u2018New Foundations for Mathematical Logic","volume":"39","author":"Specker","year":"1953","journal-title":"Proceedings of the National Academy of Sciences of the USA"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0355","series-title":"A Formalization of Set Theory without Variables","author":"Tarski","year":"1987"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0360","series-title":"From Frege to Gdel: A Source Book in Mathematical Logic","first-page":"1879","year":"1967"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0365","series-title":"An Axiomatization of Set Theory","author":"von Neumann","year":"1925"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0370","series-title":"Mathematics in the alternative set theory","author":"Vop\u011bnka","year":"1979"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0375","series-title":"Logic, Computers, and Sets","first-page":"406","author":"Wang","year":"1970"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0380","series-title":"How to Approximate the Na\u00efve Comprehension Scheme Inside of [sic] Classical Logic","author":"Weydert","year":"1989"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0385","volume":"3 vols","author":"Whitehead","year":"1910"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0390","first-page":"387","article-title":"A simplification of the logic of relations","volume":"17","author":"Wiener","year":"1914","journal-title":"Proceedings of the Cambridge Philosophical Society"},{"key":"10.1016\/B978-0-444-51621-3.50008-6_bb0395","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/BF01449999","article-title":"Untersuchen \u00fcber die Grundlagen der Mengenlehre I","volume":"65","author":"Zermelo","year":"1908","journal-title":"Mathematische Annalen"}],"container-title":["Handbook of the History of Logic","Sets and Extensions in the Twentieth Century"],"original-title":[],"language":"en","deposited":{"date-parts":[[2018,11,24]],"date-time":"2018-11-24T00:21:21Z","timestamp":1543018881000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9780444516213500086"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9780444516213"],"references-count":78,"URL":"https:\/\/doi.org\/10.1016\/b978-0-444-51621-3.50008-6","relation":{},"ISSN":["1874-5857"],"issn-type":[{"value":"1874-5857","type":"print"}],"subject":[],"published":{"date-parts":[[2012]]}}}