Completely Ramsey set
ID: completely-ramsey-set
A set is completely Ramsey if every basic Ellentuck topology neighborhood admits an infinite with or . Keeping the finite stem makes this stronger than being a Ramsey set of infinite subsets.
New to topics? Read the docs here!