English

Selective but not Ramsey

Logic 2013-12-20 v1 Combinatorics

Abstract

We give a partial answer to the following question of Dobrinen: For a given topological Ramsey space R\mathcal{R}, are the notions of selective for R\mathcal{R} and Ramsey for R\mathcal{R} equivalent? Every topological Ramsey space R\mathcal{R} has an associated notion of Ramsey ultrafilter for R\mathcal{R} and selective ultrafilter for R\mathcal{R} (see \cite{MijaresSelective}). If R\mathcal{R} is taken to be the Ellentuck space then the two concepts reduce to the familiar notions of Ramsey and selective ultrafilters on ω\omega; 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 nn we show that for the topological Ramsey space Rn\mathcal{R}_{n} from \cite{Ramsey-Class2}, the notions of selective for Rn\mathcal{R}_{n} and Ramsey for Rn\mathcal{R}_{n} 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 Rn\mathcal{R}_{n}. Moreover, we introduce a notion of finite product among members of the family {Rn:n<ω}\{\mathcal{R}_{n}: n<\omega\}. 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}
}
R2 v1 2026-06-22T02:31:12.721Z