{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,18]],"date-time":"2024-04-18T09:40:55Z","timestamp":1713433255089},"reference-count":115,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,1,15]],"date-time":"2014-01-15T00:00:00Z","timestamp":1389744000000},"content-version":"unspecified","delay-in-days":685,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Bull. symb. log"],"published-print":{"date-parts":[[2012,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This article serves to present a large mathematical perspective and historical basis for the Axiom of Replacement as well as to affirm its importance as a central axiom of modern set theory.<\/jats:p>","DOI":"10.2178\/bsl\/1327328439","type":"journal-article","created":{"date-parts":[[2012,1,23]],"date-time":"2012-01-23T15:38:21Z","timestamp":1327333101000},"page":"46-90","source":"Crossref","is-referenced-by-count":8,"title":["In Praise of Replacement"],"prefix":"10.1017","volume":"18","author":[{"given":"Akihiro","family":"Kanamori","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,1,15]]},"reference":[{"key":"S1079898600000238_ref114","first-page":"400","article-title":"\u00dcber Grenzzahlen und Mengenbereiche: Neue Untersuchungen \u00fcber die Grundlagen der Mengenlehre","volume":"16","author":"Zermelo","year":"2010","journal-title":"Fundamenta Mathematicae"},{"key":"S1079898600000238_ref104","volume-title":"Popular lectures on mathematical logic","author":"Wang","year":"1981"},{"key":"S1079898600000238_ref092","first-page":"1","article-title":"Begr\u00fcndung der elementaren Arithmetik durch die rekurrierende Denkweise ohne Anwendung scheinbarer Ver\u00e4nderlichen mit unendlichem Ausdehnungsberich","volume":"6","author":"Skolem","journal-title":"Skrifter utgit av Videnskabsselskapets i Kristiania, I. Matematisk-naturvidenskabelig klasse"},{"key":"S1079898600000238_ref101","volume-title":"Collected works","volume":"1","author":"von Neumann","year":"1961"},{"key":"S1079898600000238_ref086","doi-asserted-by":"crossref","first-page":"179","DOI":"10.4064\/fm-73-2-179-186","article-title":"A normal space X for which X \u00d7 I is not normal","volume":"73","author":"Rudin","year":"1971","journal-title":"Fundamenta Mathematicae"},{"key":"S1079898600000238_ref095","volume-title":"From Frege to G\u00f6del: A source book in mathematical logic, 1879\u20131931","author":"van Heijenoort","year":"1967"},{"key":"S1079898600000238_ref089","volume-title":"Mathematical logic","author":"Shoenfield","year":"1967"},{"key":"S1079898600000238_ref108","first-page":"307","volume-title":"G\u00f6del '96. Logical foundations of Mathematics, Computer Science and Physics\u2014Kurt G\u00f6del's legacy","volume":"6","author":"Zarach","year":"1996"},{"key":"S1079898600000238_ref097","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1515\/crll.1925.154.219","article-title":"Eine Axiomatisierung der Mengenlehre","volume":"154","author":"von Neumann","year":"1925","journal-title":"Journal f\u00fcr die reine und angewandte Mathematik"},{"key":"S1079898600000238_ref111","doi-asserted-by":"publisher","DOI":"10.1007\/BF01449999"},{"key":"S1079898600000238_ref103","volume-title":"From mathematics to philosophy","author":"Wang","year":"1974"},{"key":"S1079898600000238_ref113","unstructured":"Zermelo Ernst [1930a] \u00dcber das mengentheoretische Model, printed and translated in Zermelo [2010, pp. 446\u2013453]."},{"key":"S1079898600000238_ref087","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198539308.001.0001","volume-title":"The mathematical works of Bernard Bolzano","author":"Russ","year":"2004"},{"key":"S1079898600000238_ref112","first-page":"236","article-title":"Sur les ensembles finis et le principe de l'induction compl\u00e8te","volume":"32","author":"Zermelo","year":"2010","journal-title":"Acta Mathematica"},{"key":"S1079898600000238_ref094","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1093\/oso\/9780198236542.003.0019","volume-title":"The philosophy of mathematics today","author":"Tait","year":"1998"},{"key":"S1079898600000238_ref100","first-page":"494","article-title":"\u00dcber eine Widerspruchfreiheitsfrage in der axiomatischen Mengenlehre","volume":"160","author":"von Neumann","year":"1961","journal-title":"Journal f\u00fcr die Reine und Angewandte Mathematik"},{"key":"S1079898600000238_ref083","unstructured":"Reimann Jan and Slaman Theodore A. [2010] Effective randomness for continuous measures, preprint."},{"key":"S1079898600000238_ref099","doi-asserted-by":"publisher","DOI":"10.1007\/BF01459102"},{"key":"S1079898600000238_ref091","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-004-6300-9"},{"key":"S1079898600000238_ref084","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(70)90011-2"},{"key":"S1079898600000238_ref115","volume-title":"Collected works","volume":"1","author":"Zermelo","year":"2010"},{"key":"S1079898600000238_ref013","doi-asserted-by":"publisher","DOI":"10.1007\/BF01446327"},{"key":"S1079898600000238_ref069","doi-asserted-by":"crossref","unstructured":"McLarty Colin [2010] What does it take to prove Fermat's last theorem? Grothendieck and the logic of number theory, this Bulletin, pp. 359\u2013377.","DOI":"10.2178\/bsl\/1286284558"},{"key":"S1079898600000238_ref006","volume-title":"Paradoxien des Unendlichen","author":"Bolzano","year":"1851"},{"key":"S1079898600000238_ref003","doi-asserted-by":"crossref","first-page":"65","DOI":"10.2307\/2268862","article-title":"A system of axiomatic set theory\u2014Part I","volume":"2","author":"Bernays","year":"1976","journal-title":"The Journal of Symbolic Logic"},{"key":"S1079898600000238_ref002","volume-title":"Philosophy of mathematics. Selected readings","author":"Benacerraf","year":"1983"},{"key":"S1079898600000238_ref044","volume-title":"Cantorian set theory and the limitation of size","volume":"10","author":"Hallett","year":"1984"},{"key":"S1079898600000238_ref079","doi-asserted-by":"publisher","DOI":"10.1093\/philmat\/nkm035"},{"key":"S1079898600000238_ref053","first-page":"719","article-title":"Kurt G\u00f6del","author":"Kreisel","year":"1982","journal-title":"Biographical Memoirs of Fellows of the Royal Society"},{"key":"S1079898600000238_ref078","first-page":"429","volume-title":"Proceedings of the American Mathematical Society","author":"Nyikos","year":"1980"},{"key":"S1079898600000238_ref102","volume-title":"From mathematics to philosophy","author":"Wang","year":"1983"},{"key":"S1079898600000238_ref093","first-page":"290","volume-title":"Wissenschaftliche Vortr\u00e4ge gehalten auf dem F\u00fcnften Kongress der Skandinavischen Mathematiker in Helsingfors vom 4. bis 7. Juli 1922","author":"Skolem","year":"1967"},{"key":"S1079898600000238_ref109","doi-asserted-by":"publisher","DOI":"10.1007\/BF01445300"},{"key":"S1079898600000238_ref008","first-page":"88","article-title":"Iteration again","volume":"17","author":"Boolos","year":"1998","journal-title":"Philosophical Topics"},{"key":"S1079898600000238_ref081","volume-title":"Work and object","author":"Quine","year":"1960"},{"key":"S1079898600000238_ref005","volume-title":"Axiomatic set theory","author":"Bernays","year":"1958"},{"key":"S1079898600000238_ref106","volume-title":"Principia mathematica","volume":"3","author":"Whitehead","year":"1913"},{"key":"S1079898600000238_ref088","doi-asserted-by":"publisher","DOI":"10.1090\/pspum\/013.2\/0392570"},{"key":"S1079898600000238_ref052","first-page":"1085","volume-title":"Annals of Mathematics","author":"Kisin","year":"2009"},{"key":"S1079898600000238_ref015","doi-asserted-by":"publisher","DOI":"10.1515\/crll.1857.54.1"},{"key":"S1079898600000238_ref073","first-page":"209","article-title":"Remarques sur la th\u00e9orie des ensembles et les antinomies cantoriennes","volume":"19","author":"Mirimanoff","year":"1917","journal-title":"I, L'Enseignement Math\u00e9matique"},{"key":"S1079898600000238_ref028","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(71)90018-0"},{"key":"S1079898600000238_ref074","first-page":"91","volume-title":"Essays on the foundations of mathematics","author":"Montague","year":"1961"},{"key":"S1079898600000238_ref033","first-page":"12","article-title":"\u00dcber Vollst\u00e4ndigkeit und Widerspruchsfreiheit","volume":"3","author":"G\u00f6del","year":"1986","journal-title":"Ergebnisse eines mathematischen Kolloquiums"},{"key":"S1079898600000238_ref048","first-page":"295","volume-title":"Frege's philosophy of mathematics","author":"Heck","year":"1995"},{"key":"S1079898600000238_ref001","doi-asserted-by":"publisher","DOI":"10.1007\/BF01350103"},{"key":"S1079898600000238_ref047","volume-title":"Grundz\u00fcge der Mengenlehre","author":"Hausdorff","year":"1914"},{"key":"S1079898600000238_ref110","doi-asserted-by":"publisher","DOI":"10.1007\/BF01450054"},{"key":"S1079898600000238_ref022","volume-title":"From Kant to Hilbert: A source book in the foundations of mathematics","author":"Ewald","year":"1996"},{"key":"S1079898600000238_ref051","doi-asserted-by":"crossref","unstructured":"Kanamori Akihiro [2004] Zermelo and set theory, this Bulletin, vol. 10, pp. 487\u2013553.","DOI":"10.2178\/bsl\/1102083759"},{"key":"S1079898600000238_ref030","doi-asserted-by":"publisher","DOI":"10.1016\/0001-8708(81)90021-9"},{"key":"S1079898600000238_ref072","first-page":"37","article-title":"Les antinomies de Russell et de Burali-Forti et le probl\u00e9me fondamental de la th\u00e9orie des ensembles","volume":"19","author":"Mirimanoff","year":"1917","journal-title":"L'Enseignement Math\u00e9matique"},{"key":"S1079898600000238_ref090","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71106-6"},{"key":"S1079898600000238_ref061","doi-asserted-by":"publisher","DOI":"10.2307\/1971035"},{"key":"S1079898600000238_ref025","doi-asserted-by":"publisher","DOI":"10.1007\/BF01457986"},{"key":"S1079898600000238_ref067","first-page":"1","article-title":"Unordered pairs in the set theory of Bourbaki 1949","volume":"94","author":"Mathias","year":"2010","journal-title":"Archive for Mathematical Logic"},{"key":"S1079898600000238_ref082","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2005.05.010"},{"key":"S1079898600000238_ref007","doi-asserted-by":"publisher","DOI":"10.2307\/2025204"},{"key":"S1079898600000238_ref038","doi-asserted-by":"crossref","unstructured":"G\u00f6del Kurt [1946] Remarks before the Princeton bicentennial conference on problems in mathematics, reprinted in G\u00f6del [1990, pp. 150\u2013153].","DOI":"10.1093\/oso\/9780195147216.003.0009"},{"key":"S1079898600000238_ref045","doi-asserted-by":"publisher","DOI":"10.1007\/BF01458215"},{"key":"S1079898600000238_ref085","doi-asserted-by":"publisher","DOI":"10.1017\/S0022481200039463"},{"key":"S1079898600000238_ref075","doi-asserted-by":"publisher","DOI":"10.1016\/0315-0860(76)90039-2"},{"key":"S1079898600000238_ref060","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1961.11.1045"},{"key":"S1079898600000238_ref064","first-page":"107","volume-title":"Annals of Pure and Applied Logic","author":"Mathias","year":"2001"},{"key":"S1079898600000238_ref016","volume-title":"Stetigkeit und irrationale Zahlen","author":"Dedekind","year":"1996"},{"key":"S1079898600000238_ref014","volume-title":"Logical dilemmas: The life and work of Kurt G\u00f6del","author":"Dawson","year":"1997"},{"key":"S1079898600000238_ref011","doi-asserted-by":"publisher","DOI":"10.1007\/BF03015911"},{"key":"S1079898600000238_ref080","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199269730.001.0001"},{"key":"S1079898600000238_ref066","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-005-0289-8"},{"key":"S1079898600000238_ref036","first-page":"33","volume-title":"The consistency of the axiom of choice and of the generalized continuum hypothesis with the axioms of set theory","volume":"3","author":"G\u00f6del","year":"1990"},{"key":"S1079898600000238_ref071","volume-title":"Georg Cantor. Briefe","author":"Meschkowski","year":"1991"},{"key":"S1079898600000238_ref029","doi-asserted-by":"publisher","DOI":"10.1090\/pspum\/013.1\/0278932"},{"key":"S1079898600000238_ref018","volume-title":"Gesammelte mathematische Werke","author":"Dedekind","year":"1932"},{"key":"S1079898600000238_ref024","first-page":"97","article-title":"\u00dcber die Zermelosche Begr\u00fcndung der Mengenlehre","volume":"30","author":"Fraenkel","year":"1921","journal-title":"Jahresbericht der Deutschen Mathematiker-Vereinigung"},{"key":"S1079898600000238_ref050","first-page":"180","volume-title":"Jahresbericht der Deutschen Mathematiker-Vereinigung","volume":"8","author":"Hilbert","year":"1900"},{"key":"S1079898600000238_ref035","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.24.12.556"},{"key":"S1079898600000238_ref004","first-page":"14","article-title":"A system of axiomatic set theory\u2014Part II","volume":"6","author":"Bernays","year":"1976","journal-title":"The Journal of Symbolic Logic"},{"key":"S1079898600000238_ref020","volume-title":"G. Lejeune Dirichlet's Werke","author":"Dirichlet","year":"1889"},{"key":"S1079898600000238_ref021","volume-title":"Ernst Zermelo. An approach to his life and work","author":"Ebbinghaus","year":"2007"},{"key":"S1079898600000238_ref017","first-page":"787","volume-title":"Was sind und was sollen die Zahlen?","author":"Dedekind","year":"1996"},{"key":"S1079898600000238_ref042","volume-title":"Collected works: Correspondence A\u2013G","volume":"IV","author":"G\u00f6del","year":"2003"},{"key":"S1079898600000238_ref023","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5764-9"},{"key":"S1079898600000238_ref040","volume-title":"Collected works: Publications 1938\u20131974","volume":"II","author":"G\u00f6del","year":"1990"},{"key":"S1079898600000238_ref057","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4064\/fm-49-1-1-10","article-title":"Principles of reflection in axiomatic set theory","volume":"49","author":"Levy","year":"1960","journal-title":"Fundamenta Mathematicae"},{"key":"S1079898600000238_ref037","first-page":"119","volume-title":"The philosophy of Bertrand Russell","volume":"5","author":"G\u00f6del","year":"1944"},{"key":"S1079898600000238_ref031","first-page":"1","volume-title":"Advances in Mathematics","author":"Friedman","year":"1985"},{"key":"S1079898600000238_ref096","first-page":"199","article-title":"Zur Einf\u00fchrung der transfiniten Zahlen","volume":"1","author":"von Neumann","year":"1967","journal-title":"Acta Litterarum ac Scientiarum Regiae Universitatis Hungaricae Francisco-Josephinae (Szeged), sectio scientiarum mathematicarum"},{"key":"S1079898600000238_ref058","first-page":"762","volume-title":"American Mathematical Monthly","author":"Levy","year":"1968"},{"key":"S1079898600000238_ref062","doi-asserted-by":"publisher","DOI":"10.1090\/pspum\/042\/791065"},{"key":"S1079898600000238_ref034","unstructured":"G\u00f6del Kurt [1933o] The present situation in the foundation of mathematics, printed in G\u00f6del [1995, pp. 45\u201353]."},{"key":"S1079898600000238_ref063","doi-asserted-by":"publisher","DOI":"10.2307\/2695026"},{"key":"S1079898600000238_ref019","volume-title":"Vorlesungen \u00fcber Zahlentheorie","author":"Dirichlet","year":"1863"},{"key":"S1079898600000238_ref046","doi-asserted-by":"publisher","DOI":"10.1080\/14786440509463392"},{"key":"S1079898600000238_ref077","volume-title":"Sets and classes. On the work of Paul Bernays","volume":"84","author":"M\u00fcller","year":"1976"},{"key":"S1079898600000238_ref068","unstructured":"Mathias Adrian R. D. [\u221e] Bourbaki and the scorning of logic, to appear."},{"key":"S1079898600000238_ref076","doi-asserted-by":"publisher","DOI":"10.1016\/0315-0860(81)90070-7"},{"key":"S1079898600000238_ref043","doi-asserted-by":"publisher","DOI":"10.2307\/2274220"},{"key":"S1079898600000238_ref098","doi-asserted-by":"publisher","DOI":"10.1007\/BF01171122"},{"key":"S1079898600000238_ref055","doi-asserted-by":"publisher","DOI":"10.2307\/2964757"},{"key":"S1079898600000238_ref010","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511570681.013"},{"key":"S1079898600000238_ref105","volume-title":"A logical journey: From G\u00f6del to philosophy","author":"Wang","year":"1996"},{"key":"S1079898600000238_ref032","first-page":"144","article-title":"\u00dcber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter System I","volume":"38","author":"G\u00f6del","year":"1986","journal-title":"Monatshefte f\u00fcr Mathematik und Physik"},{"key":"S1079898600000238_ref056","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1960.10.223"},{"key":"S1079898600000238_ref065","volume-title":"Set theory: Centre de Recerca Matem\u00e1tica, Barcelona 2003\u20132004","author":"Mathias","year":"2006"},{"key":"S1079898600000238_ref027","volume-title":"Lebenskreise. Aus den Erinnerungen eines j\u00fcdischen Mathematikers","author":"Fraenkel","year":"1967"},{"key":"S1079898600000238_ref054","volume-title":"Grundlagen der Analysis","author":"Landau","year":"1930"},{"key":"S1079898600000238_ref059","doi-asserted-by":"publisher","DOI":"10.1090\/pspum\/025\/0373891"},{"key":"S1079898600000238_ref070","unstructured":"[\u221e] Set theory for Grothendieck's number theory, www.cwru.edu\/artsci\/philo\/Groth%20found26.pdf."},{"key":"S1079898600000238_ref049","first-page":"479","volume-title":"Grundbegriffe der Mengenlehre","author":"Hessenberg","year":"1906"},{"key":"S1079898600000238_ref041","volume-title":"Collected works: Unpublished essays and lectures","volume":"III","author":"G\u00f6del","year":"1995"},{"key":"S1079898600000238_ref009","volume-title":"Logic, logic, and logic","author":"Boolos","year":"1998"},{"key":"S1079898600000238_ref107","first-page":"387","volume-title":"Proceedings of the Cambridge Philosophical Society","author":"Wiener","year":"1967"},{"key":"S1079898600000238_ref039","volume-title":"Collected works: Publications 1929\u20131936","volume":"I","author":"G\u00f6del","year":"1986"},{"key":"S1079898600000238_ref012","unstructured":"Burgess John P. [2009] Putting structuralism in its place, on website: www.princeton.edu\/~jburgess."},{"key":"S1079898600000238_ref026","doi-asserted-by":"publisher","DOI":"10.1007\/BF01479605"}],"container-title":["The Bulletin of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1079898600000238","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,18]],"date-time":"2024-04-18T09:09:27Z","timestamp":1713431367000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1079898600000238\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3]]},"references-count":115,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,3]]}},"alternative-id":["S1079898600000238"],"URL":"https:\/\/doi.org\/10.2178\/bsl\/1327328439","relation":{},"ISSN":["1079-8986","1943-5894"],"issn-type":[{"value":"1079-8986","type":"print"},{"value":"1943-5894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,3]]}}}