A geometric form of the axiom of choice
Consider the following well-known result from the theory of normed linear spaces (, p. 80, 4(b)): (g) the unit ball of the (continuous) dual of a normed linear space over the reals has an extreme point. The standard proof of (~) uses the axiom of choice (AG); thus the implication AC~(w) can be proved in set theory. In this paper we show that this implication can be reversed, so that (*) is actually eq7I2valent to the axiom of choice. From this we derive various corollaries, for example: the conjunction of the Boolean prime ideal theorem and the Krein-Milman theorem implies the axiom of choice, and the Krein-Milman theorem is not derivable from the Boolean prime ideal theorem.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Regular Probability Comparisons Imply the Banach–Tarski Paradox.Alexander R. Pruss - 2014 - Synthese 191 (15):3525-3540.
True or False? A Case in the Study of Harmonic Functions.Fausto di Biase - 2009 - Topoi 28 (2):143-160.
Similar books and articles
Limitations on the Fraenkel-Mostowski Method of Independence Proofs.Paul E. Howard - 1973 - Journal of Symbolic Logic 38 (3):416-422.
Some New Intuitionistic Equivalents of Zorn's Lemma.John Bell - 2003 - Archive for Mathematical Logic 42 (8):811-814.
On Generic Extensions Without the Axiom of Choice.G. P. Monro - 1983 - Journal of Symbolic Logic 48 (1):39-52.
Ultrapowers Without the Axiom of Choice.Mitchell Spector - 1988 - Journal of Symbolic Logic 53 (4):1208-1219.
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.
On the Significance of Choice Sets with Incompatibilities.Vivian Charles Walsh - 1967 - Philosophy of Science 34 (3):243-250.
Extended Ultrapowers and the Vopěnka-Hrbáček Theorem Without Choice.Mitchell Spector - 1991 - Journal of Symbolic Logic 56 (2):592-607.
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.
Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice.David W. Miller - 2007 - Logica Universalis 1 (1):183-199.
Inconsistency of the Axiom of Choice with the Positive Theory GPK+ ∞.Olivier Esser - 2000 - Journal of Symbolic Logic 65 (4):1911 - 1916.
Added to index2010-12-22
Total downloads10 ( #427,468 of 2,158,890 )
Recent downloads (6 months)1 ( #353,777 of 2,158,890 )
How can I increase my downloads?