Constructions of complete metric spaces and compact Hausdorff spaces which are not Baire spaces

Abstract

The standard proofs of the Baire category theorem for complete metric spaces (for compact Hausdorff spaces) use the Principle of Dependent Choice. Goldblatt [1] showed the Baire Category Theorem for complete metric spaces is equivalent to the Principle of Dependent Choice. ..