Talk:Baire space

"Any space in which the Baire category theorem on complete metric spaces is valid" — I am afraid, this may be puzzling: does it mean that "Baire" = "complete metric", or not? I see in a book (Kechris) such definition: a topological space in which the intersection of countably many dense open sets is dense. And then a proposition: an open subset of a Baire space is a Baire space. And then "The Baire Category Theorem: Every completely metrizable space is Baire. Every locally compact Hausdorff space is Baire." --Boris Tsirelson 16:22, 1 August 2012 (CEST)