Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
G. Cantor, Über unendliche lineare Punktmannigfaltigkeiten. Nr. 5, Math. Annalen, Vol. 21, 1883, pp. 545-591. Reprinted in Gesammelte Abhandlungen, Edited by E. Zermelo, Springer-Verlag, Berlin, 1932, pp. 165–208.
G. H. Moore, Zermelo’s Axiom of Choice: Its Origins, Development, and Influence, Springer-Verlag, New York, 1982, p. 51.
E. Zermelo, Beweis, daβ jede Menge wohlgeordnet werden kann. (Aus einem an Herrn Hilbert gerichteten Briefe.), Math. Annalen, Vol. 59, 1904, pp. 514–516.
E. Zermelo, Neuer Beweis für die Mäglichkeit einer Wohlordnung, Math. Annalen, Vol. 65, 1908, pp. 107–128.
E. Zermelo, Untersuchungen über die Grundlagen der Mengenlehre. I, Math. Annalen, Vol. 65, 1908, pp. 261–281.
M. Zorn, A remark on method in transfinite algebra, Bull. Amer. Math. Soc., Vol. 41, 1935, pp. 667–670.
R. Baire, É. Borel, J. Hadamard and H. Lebesgue, Cinq lettres sur la théorie des ensembles, Bull. Soc. Math. France, Vol. 33, 1905, pp. 261–273.
É. Borel, Quelques remarques sur les principes de la théorie des ensembles, Math. Annalen, Vol. 60, 1905, pp. 194–195.
L. E. J. Brouwer, Over de grondslagen der wiskunde, Maas & van Suchtelen, Amsterdam, 1907. English translation in Collected Works, Vol. 1, Edited by A. Heyting, North-Holland, Amsterdam, 1975, pp. 11–101.
E. Bishop, Foundations of Constructive Analysis, McGraw-Hill, New York, 1967, p. 9.
R. Diaconescu, Axiom of choice and complementation, Proc. Amer. Math. Soc., Vol. 51, 1975, pp. 176–178.
A. N. Whitehead, On cardinal numbers, Amer. J. Math., Vol. 24, 1902, pp. 367–394.
B. Russell, On some difficulties in the theory of transfinite numbers and order types, Proc. London Math. Soc., Ser. 2, Vol. 4, 1906, pp. 29–53.
P. Aczel, The type theoretic interpretation of constructive set theory, Logic Colloquium ’77, Edited by A. Macintyre, L. Pacholski and J. Paris, North-Holland, Amsterdam, 1978, pp. 55–66.
P. Aczel, The type theoretic interpretation of constructive set theory: choice principles, The L. E. J. Brouwer Centenary Symposium, Edited by A. S. Troelstra and D. van Dalen, North-Holland, Amsterdam, 1982, pp. 1–40.
M. Hofmann, Extensional Constructs in Intensional Type Theory, Springer-Verlag, London, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer Science+Business Media B.V.
About this chapter
Cite this chapter
Martin-Löf, P. (2009). 100 Years of Zermelo’s Axiom of Choice: What was the Problem with It?. In: Lindström, S., Palmgren, E., Segerberg, K., Stoltenberg-Hansen, V. (eds) Logicism, Intuitionism, and Formalism. Synthese Library, vol 341. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-8926-8_10
Download citation
DOI: https://doi.org/10.1007/978-1-4020-8926-8_10
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-8925-1
Online ISBN: 978-1-4020-8926-8
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)