Abstract:In {ZF} (i.e., Zermelo-Fraenkel set theory without the Axiom of Choice) the following statements are shown to be equivalent: \roster \item The axiom of dependent choice. \item Products of compact Hausdorff spaces are Baire. \item Products of pseudocompact spaces are Baire. \item Products of countably compact, regular spaces are Baire. \item Products of regular-closed spaces are Baire. \item Products of \v {C}ech-complete spaces are Baire. \item Products of pseudo-complete spaces are Baire. \endroster
Keywords: axiom of dependent choice, Baire category theorem, Baire space, (countably) compact, pseudocompact, \v {C}ech-complete, regular-closed, pseudo-complete, product spaces
AMS Subject Classification: 03E25, 04A25, 54A35, 54B10, 54D30, 54E52