In praise of replacement

DOI10.2178/BSL/1327328439MaRDI QIDQ5388757zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Akihiro Kanamori

Publication date 20 April 2012

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.bsl/1327328439, https://semanticscholar.org/paper/3e4006c52d6d53791fc7ee8df37b6ac943c6c0cc

zbMATH Keywords

axiom of replacementaxiomatic set theoryFraenkelhistory of mathematicsSkolemZermelo

Mathematics Subject Classification ID

History of mathematics in the 19th century (01A55) History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Axiomatics of classical set theory and its fragments (03E30)

Recommendations

• The axiom of choice in the foundations of mathematics
• FOUNDATIONS OF A NEW AXIOMATIC SET THEORY
• A system of axiomatic set theory. Part IV. General set theory
• A tour around set theory
• Believing the axioms. I

Cites work

• A note on the schemes of replacement and collection
• Ackermann's set theory equals ZF
• Borel determinacy
• Burali-Forti's paradox: A reappraisal of its origins
• Dedekind's analysis of number: Systems and axioms
• Ernst Zermelo, A. E. Harward, and the axiomatization of set theory
• Fundamenta Mathematicae: An Examination of Its Founding and Significance
• Higher set theory and mathematical practice
• scientific article; zbMATH DE number 3882394 (Why is no real title available?)
• scientific article; zbMATH DE number 3873291 (Why is no real title available?)
• scientific article; zbMATH DE number 107511 (Why is no real title available?)
• scientific article; zbMATH DE number 1158754 (Why is no real title available?)
• scientific article; zbMATH DE number 785421 (Why is no real title available?)
• scientific article; zbMATH DE number 3241254 (Why is no real title available?)
• On Ackermann's set theory
• On the necessary use of abstract set theory
• Principles of partial reflection in the set theories of Zermelo and Ackermann
• Replacement and collection in intuitionistic set theory
• Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory
• Slim models of Zermelo set theory
• The theory of classes A modification of von Neumann's system
• Zur Axiomatik der Mengenlehre

Cited in

(6)

• Replacing Pfaffians and applications
• Mathias and set theory
• Objectivity and truth in mathematics: a sober non-Platonist perspective
• Transfinite Recursion in a Theory of Properties
• Frege, Dedekind, and the origins of logicism
• Transfinite recursion and computation in the iterative conception of set

This page was built for publication: In praise of replacement

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5388757)