The Baire Category Theorem and choice

The status of the Baire Category Theorem in ZF (i.e., Zermelo–Fraenkel set theory without the Axiom of Choice) is investigated. l results: Baire Category Theorem holds for compact pseudometric spaces. Axiom of Countable Choice is equivalent to the Baire Category Theorem for countable products of compact pseudometric spaces. Axiom of Dependent Choice is equivalent to the Baire Category Theorem for countable products of compact Hausdorff spaces. Baire Category Theorem for B -compact regular spaces is equivalent to the conjunction of the Axiom of Dependent Choice and the Weak Ultrafilter Theorem.