Selective but not Ramsey
Abstract
We give a partial answer to the following question of Dobrinen: For a given topological Ramsey space , are the notions of selective for and Ramsey for equivalent? Every topological Ramsey space has an associated notion of Ramsey ultrafilter for and selective ultrafilter for (see \cite{MijaresSelective}). If is taken to be the Ellentuck space then the two concepts reduce to the familiar notions of Ramsey and selective ultrafilters on ; so by a well-known result of Kunen the two are equivalent. We give the first example of an ultrafilter on a topological Ramsey space that is selective but not Ramsey for the space, and in fact a countable collection of such examples. For each positive integer we show that for the topological Ramsey space from \cite{Ramsey-Class2}, the notions of selective for and Ramsey for are not equivalent. In particular, we prove that forcing with a closely related space using almost-reduction, adjoins an ultrafilter that is selective but not Ramsey for . Moreover, we introduce a notion of finite product among members of the family . We show that forcing with closely related product spaces using almost-reduction, adjoins ultrafilters that are selective but not Ramsey for these product topological Ramsey spaces.
Keywords
Cite
@article{arxiv.1312.5411,
title = {Selective but not Ramsey},
author = {Timothy Trujillo},
journal= {arXiv preprint arXiv:1312.5411},
year = {2013}
}