Baire property in the Ellentuck topology
ID: baire-property-in-the-ellentuck-topology
A subset of the space of infinite subsets of the natural numbers has this property when it differs from an Ellentuck topology open set by a meagre set in the same topology. By the complete-Ramsey characterization, these are precisely the completely Ramsey sets. Using meagreness from a different topology changes the definition.
New to topics? Read the docs here!