The Axiom of Choice

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

Abstract

Provability, Computability and Reflection

Categories

Keywords

Reprint years

ISBN(s)

0444104844   9780444104847   0486466248

DOI

10.2307/2272398
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,168

External links

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

Through your library

My notes

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 for well-ordered families and for families of well- orderable sets.Paul Howard & Jean E. Rubin - 1995 - Journal of Symbolic Logic 60 (4):1115-1117.
Relations between some cardinals in the absence of the axiom of choice.Lorenz Halbeisen & Saharon Shelah - 2001 - Bulletin of Symbolic Logic 7 (2):237-261.
On the significance of choice sets with incompatibilities.Vivian Charles Walsh - 1967 - Philosophy of Science 34 (3):243-250.
The axiom of choice in the foundations of mathematics.John Bell - manuscript
A geometric form of the axiom of choice.J. L. Bell - unknown
Independence results for class forms of the axiom of choice.Paul E. Howard, Arthur L. Rubin & Jean E. Rubin - 1978 - Journal of Symbolic Logic 43 (4):673-684.
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.
Some restricted lindenbaum theorems equivalent to the axiom of choice.David W. Miller - 2007 - Logica Universalis 1 (1):183-199.
The axiom of choice and combinatory logic.Andrea Cantini - 2003 - Journal of Symbolic Logic 68 (4):1091-1108.
Limitations on the Fraenkel-Mostowski method of independence proofs.Paul E. Howard - 1973 - Journal of Symbolic Logic 38 (3):416-422.
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
44 (#362,779)

6 months
9 (#314,693)

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.
Beyond the metrological viewpoint.Jean Baccelli - 2020 - Studies in History and Philosophy of Science Part A 1:56-61.
Constructive mathematics.Douglas Bridges - 2008 - Stanford Encyclopedia of Philosophy.
The Banach-Tarski Paradox.Ulrich Meyer - forthcoming - Logique Et Analyse.

View all 73 citations / Add more citations

References found in this work

No references found.

Add more references