Selective but not Ramsey

From MaRDI portal




Abstract: We give a partial answer to the following question of Dobrinen: For a given topological Ramsey space mathcalR, are the notions of selective for mathcalR and Ramsey for mathcalR equivalent? Every topological Ramsey space mathcalR has an associated notion of Ramsey ultrafilter for mathcalR and selective ultrafilter for mathcalR (see cite{MijaresSelective}). If mathcalR 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 n we show that for the topological Ramsey space mathcalRn from cite{Ramsey-Class2}, the notions of selective for mathcalRn and Ramsey for mathcalRn 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 mathcalRn. Moreover, we introduce a notion of finite product among members of the family mathcalRn: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.









This page was built for publication: Selective but not Ramsey

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q260527)