Completely Ramsey-null set
ID: completely-ramsey-null-set
A set is completely Ramsey-null when every Ellentuck topology neighborhood has a refinement disjoint from , with the same finite stem . Assuming open Ellentuck sets are completely Ramsey, every star-nowhere dense set is completely Ramsey-null: apply the open-set property to the dense complement of its closure. The Ellentuck meagre-set fusion lemma shows that countable unions retain this avoidance property.
New to topics? Read the docs here!