However there are separable metric spaces where neither player has a winning strategy, so there are Baire spaces that are not Choquet spaces.
22.
Note that elements of the Cantor space can be identified with sets of integers and elements of the Baire space with functions from integers to integers.
23.
A point in Baire space is in an open set if and only if its path goes through one of the nodes in its determining union.
24.
By "'BCT2 "', every finite-dimensional Hausdorff manifold is a Baire space, since it is locally compact and Hausdorff.
25.
A parallel definition is used to define the arithmetical hierarchy on finite Cartesian powers of Baire space or Cantor space, using formulas with several free variables.
26.
A topological space " X " is a Baire space if and only if every comeager subset of " X " is dense.
27.
"' BCT2 "'shows that every manifold is a Baire space, even if it is not paracompact, and hence not metrizable.
28.
In set theory, the "'Baire space "'is the set of all infinite sequences of natural numbers with a certain topology.
29.
Thus a basic open set in the Baire space is the set of all infinite sequences of natural numbers extending a common finite initial segment & tau;.
30.
Wadge had analyzed the structure of the Wadge hierarchy for Baire space with games by 1972, but published these results only much later in his PhD thesis.
