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!