×

Products, the Baire category theorem, and the axiom of dependent choice. (English) Zbl 1010.03037

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.

MSC:

03E25 Axiom of choice and related propositions
54E52 Baire category, Baire spaces
PDF BibTeX XML Cite
Full Text: EuDML