Stem-supported Ramsey family need not be completely Ramsey
ID: stem-supported-ramsey-family-need-not-be-completely-ramsey
Let E be the even positive integers, and take a finite-symmetric-difference parity colouring of . The family is Ramsey even under the every-ground-set convention, since every infinite ground set can be thinned to omit 1. It is not completely Ramsey: inside , every infinite tail has two subfamilies of opposite parity. Its supporting neighbourhood is closed and nowhere dense in the ordinary topology on infinite subsets, but open in the Ellentuck topology.
New to topics? Read the docs here!