论文信息 - The shrinking principle and the axiom of choice

The shrinking principle and the axiom of choice

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.

Bernhard Banaschewski | Peter Schuster | P. Schuster | B. Banaschewski

[1] Thomas Jech. About the Axiom of Choice , 1973 .

[2] Herman Rubin,et al. Equivalents of the Axiom of Choice , 1970 .

[3] J. Myhill,et al. Choice Implies Excluded Middle , 1978, Math. Log. Q..

[4] Peter Schuster,et al. On constructing completions , 2005, Journal of Symbolic Logic.

[5] P. Howard,et al. Consequences of the axiom of choice , 1998 .

[6] Herman Rubin,et al. Equivalents of the Axiom of Choice II , 1985 .

[7] Bernhard Banaschewski. Excluded Middle versus Choice in a topos , 2005, Math. Log. Q..

[8] R. Diaconescu. Axiom of choice and complementation , 1975 .

[9] Peter Aczel,et al. Binary Refinement Implies Discrete Exponentiation , 2007, Stud Logica.

[10] Horst Herrlich,et al. Axiom of Choice , 2006 .

[11] Gregory H. Moore. Zermelo’s Axiom of Choice , 1982 .

[12] J. Paris,et al. The Type Theoretic Interpretation of Constructive Set Theory , 1978 .

[13] Gregory H. Moore. Zermelo's Axiom of Choice: Its Origins, Development, and Influence , 1982 .

[14] John L. Bell,et al. Zorn's lemma and complete Boolean algebras in intuitionistic type theories , 1997, Journal of Symbolic Logic.