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.
Countably many completely Ramsey-null sets can be avoided simultaneously in a stem-preserving Ellentuck topology refinement. Select an increasing sequence with nested infinite remaining tails. At stage , thin the tail to avoid the th set for every stem , where ranges over all subsets of the first selected points. There are only finitely many such stems. Any infinite subset of the final selected sequence uses some such before stage and has all remaining points in the thinned tail. Thus it avoids every forbidden set. This explains why an argument checking only the full selected prefix is insufficient.

Articles by others on the same topic (0)

There are currently no matching articles.