The Baire Category Theorem and choice
β Scribed by Horst Herrlich; Kyriakos Keremedis
- Publisher
- Elsevier Science
- Year
- 2000
- Tongue
- English
- Weight
- 95 KB
- Volume
- 108
- Category
- Article
- ISSN
- 0166-8641
No coin nor oath required. For personal study only.
β¦ Synopsis
The status of the Baire Category Theorem in ZF (i.e., Zermelo-Fraenkel set theory without the Axiom of Choice) is investigated.
Typical results:
-
The Baire Category Theorem holds for compact pseudometric spaces.
-
The Axiom of Countable Choice is equivalent to the Baire Category Theorem for countable products of compact pseudometric spaces.
-
The Axiom of Dependent Choice is equivalent to the Baire Category Theorem for countable products of compact Hausdorff spaces.
-
The Baire Category Theorem for B-compact regular spaces is equivalent to the conjunction of the Axiom of Dependent Choice and the Weak Ultrafilter Theorem.
π SIMILAR VOLUMES
## Abstract We show that the statement (K12) βseparable, countably compact, regular spaces are Baireβ is deducible from a strictly weaker form than AC, namely, CAC(β) (the axiom of choice for countable families of nonβempty subsets of the real line β). We also find some characterizations of the axi
We prove some generalizations of Baire's category theorem for chains of iterates of multifunctions defined on Δech-complete spaces. In particular, we extend Lennard's results stated for functions on complete metric spaces. a 1995 Academic Press. Inc.