The Bulletin of Symbolic Logic 6 (4):401 - 446 (2000)
|Abstract||Since about 1925, the standard formalization of mathematics has been the ZFC axiom system (Zermelo Frankel set theory with the axiom of choice), about which the audience needs to know nothing. The axiom of choice was controversial for a while, but the controversy subsided decades ago.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Lorenz Halbeisen & Saharon Shelah (2001). Relations Between Some Cardinals in the Absence of the Axiom of Choice. Bulletin of Symbolic Logic 7 (2):237-261.
Pierluigi Miraglia (2000). Finite Mathematics and the Justification of the Axiom of Choicet. Philosophia Mathematica 8 (1):9-25.
John L. Bell, The Axiom of Choice. Stanford Encyclopedia of Philosophy.
Kurt Gödel (1940). The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory. Princeton University Press;.
Colin Mclarty (1997). Poincaré: Mathematics & Logic & Intuition. Philosophia Mathematica 5 (2):97-115.
Shaughan Lavine (1995). Finite Mathematics. Synthese 103 (3):389 - 420.
Added to index2009-01-28
Total downloads19 ( #71,180 of 722,827 )
Recent downloads (6 months)1 ( #60,541 of 722,827 )
How can I increase my downloads?