𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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:

  1. The Baire Category Theorem holds for compact pseudometric spaces.

  2. The Axiom of Countable Choice is equivalent to the Baire Category Theorem for countable products of compact pseudometric spaces.

  3. The Axiom of Dependent Choice is equivalent to the Baire Category Theorem for countable products of compact Hausdorff spaces.

  4. 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


Some weak forms of the Baire category th
✍ Kyriakos Kermedis πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 109 KB

## 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

Set-Valued Generalizations of Baireβ€²s Ca
✍ P. Urbaniec πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 283 KB

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.