The Baire Category Theorem and choice
β
Horst Herrlich; Kyriakos Keremedis
π
Article
π
2000
π
Elsevier Science
π
English
β 95 KB
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 co