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!