The Axiom of Choice

Amsterdam, Netherlands: North-Holland (1973)
  Copy   BIBTEX

Abstract

Provability, Computability and Reflection

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,102

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On generic extensions without the axiom of choice.G. P. Monro - 1983 - Journal of Symbolic Logic 48 (1):39-52.
The axiom of choice.John L. Bell - 2008 - Stanford Encyclopedia of Philosophy.
Ultrapowers without the axiom of choice.Mitchell Spector - 1988 - Journal of Symbolic Logic 53 (4):1208-1219.
The axiom of choice and combinatory logic.Andrea Cantini - 2003 - Journal of Symbolic Logic 68 (4):1091-1108.
Cut-elimination for simple type theory with an axiom of choice.G. Mints - 1999 - Journal of Symbolic Logic 64 (2):479-485.

Analytics

Added to PP
2011-03-20

Downloads
39 (#372,907)

6 months
5 (#366,001)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Mental representation.Hartry Field - 1978 - Erkenntnis 13 (July):9-61.
Cantor, Choice, and Paradox.Nicholas DiBella - forthcoming - The Philosophical Review.
Constructive mathematics.Douglas Bridges - 2008 - Stanford Encyclopedia of Philosophy.
Beyond the metrological viewpoint.Jean Baccelli - 2020 - Studies in History and Philosophy of Science Part A 1:56-61.
The Banach-Tarski Paradox.Ulrich Meyer - forthcoming - Logique Et Analyse.

View all 71 citations / Add more citations

References found in this work

No references found.

Add more references