Herrlich, Horst; Keremedis, Kyriakos Products, the Baire category theorem, and the axiom of dependent choice. (English) Zbl 1010.03037 Commentat. Math. Univ. Carol. 40, No. 4, 771-775 (1999). The authors show that in ZF (i.e., without the axiom of choice), the weaker axiom of dependent choice is equivalent to assertions that products of various topological compact or complete properties are Baire. Reviewer: Miroslav Hušek (Praha) Cited in 2 Documents MSC: 03E25 Axiom of choice and related propositions 54E52 Baire category, Baire spaces Keywords:axiom of choice; Baire category theorem; product PDF BibTeX XML Cite \textit{H. Herrlich} and \textit{K. Keremedis}, Commentat. Math. Univ. Carol. 40, No. 4, 771--775 (1999; Zbl 1010.03037) Full Text: EuDML OpenURL