Abstract.
The axiom of choice is equivalent to the shrinking principle: every indexed cover of a set has a refinement with the same index set which is a partition. A simple and direct proof of this equivalence is given within an elementary fragment of constructive Zermelo–Fraenkel set theory. Variants of the shrinking principle are discussed, and it is related to a similar but different principle formulated by Vaught.
Similar content being viewed by others
References
P Aczel (1978) The type theoretic interpretation of constructive set theory A Macintyre L Pacholski J Paris (Eds) Logic Colloquium ’77 North-Holland Amsterdam 55–66
Aczel P, Rathjen M (2000/01) Notes on Constructive Set Theory. Stockholm: Institut Mittag–Leffler Preprint No. 40
P Aczel L Crosilla H Ishihara E Palmgren P Schuster (2006) ArticleTitleBinary refinement implies discrete exponentiation Studia Logica 84 361–368 Occurrence Handle1112.03048 Occurrence Handle10.1007/s11225-006-9014-9
B Banaschewski (2005) ArticleTitleExcluded middle versus choice in a topos Math Logics Quart 51 282–284 Occurrence Handle1062.03047 Occurrence Handle10.1002/malq.200410029
B Banaschewski (2005) Non-measurable cardinals and point-free topology McMaster Univ: Preprint Hamilton, Ontario
JL Bell (1997) ArticleTitleZorn’s lemma and complete Boolean algebras in intuitionistic type theories J Symbolic Logic 62 1265–1279 Occurrence Handle0896.03049 Occurrence Handle10.2307/2275642
L Crosilla I Hajime P Schuster (2005) ArticleTitleOn constructing completions J Symbolic Logic 70 969–978 Occurrence Handle1099.03044 Occurrence Handle10.2178/jsl/1122038923
Á Császár (1978) General Topology Akadémiai Kiadó Budapest
KJ Devlin (1984) Constructibility Springer Berlin Heidelberg New York Occurrence Handle0542.03029
R Diaconescu (1975) ArticleTitleAxiom of choice and complementation Proc Amer Math Soc 51 176–178 Occurrence Handle0317.02077 Occurrence Handle10.2307/2039868
ND Goodman J Myhill (1978) ArticleTitleChoice implies excluded middle Z Math Logik Grundl Math 23 461
Herrlich H (2006) Axiom of Choice. Lect Notes Math 1876. Berlin Heidelberg, New York: Springer
Howard P, Rubin JE (1998) Consequences of the Axiom of Choice. Providence, RI: Amer Math Soc
T Jech (1973) The Axiom of Choice North-Holland Amsterdam Occurrence Handle0259.02051
T Jech (2003) Set Theory Springer Berlin Heidelberg, New York Occurrence Handle1007.03002
GH Moore (1982) Zermelo’s Axiom of Choice, its Origins, Development and Influence Springer New York Occurrence Handle0497.01005
H Rubin JE Rubin (1985) Equivalents of the Axiom of Choice. II North-Holland Amsterdam
P Schuster (2005) ArticleTitleLogisch zwingende Teilprinzipien von ZFC Logique et Analyse (N.S.) 48 301–310 Occurrence Handle1099.03045
RL Vaught (1952) ArticleTitleOn the equivalence of the axiom of choice and a maximal principle Bull Amer Math Soc 58 66
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Banaschewski, B., Schuster, P. The shrinking principle and the axiom of choice. Mh Math 151, 263–270 (2007). https://doi.org/10.1007/s00605-007-0468-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00605-007-0468-2