Selective and Ramsey ultrafilters on G-spaces

From MaRDI portal
Publication:2013398

DOI10.1215/00294527-3839090zbMATH Open1368.05150arXiv1310.1827OpenAlexW3099097099MaRDI QIDQ2013398FDOQ2013398


Authors: Oleksandr Petrenko, Igor V. Protasov Edit this on Wikidata


Publication date: 17 August 2017

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Abstract: Let G be a group, X be an infinite transitive G-space. A free ultrafilter UU on X is called G-selective if, for any G-invariant partition PP of X, either one cell of PP is a member of UU, or there is a member of UU which meets each cell of PP in at most one point. We show (Theorem 1) that in ZFC with no additional set-theoretical assumptions there exists a G-selective ultrafilter on X, describe all G-spaces X (Theorem 2) such that each free ultrafilter on X is G-selective, and prove (Theorem 3) that a free ultrafilter UU on omega is selective if and only if UU is G-selective with respect to the action of any countable group G of permutations of omega. A free ultrafilter UU on X is called G-Ramsey if, for any G-invariant coloring chi:[G]2o0,1, there is UinUU such that [U]2 is chi-monochrome. By Theorem 4, each G-Ramsey ultrafilter on X is G-selective. Theorems 5 and 6 give us a plenty of mathbbZ-selective ultrafilters on mathbbZ (as a regular mathbbZ-space) but not mathbbZ-Ramsey. We conjecture that each mathbbZ-Ramsey ultrafilter is selective.


Full work available at URL: https://arxiv.org/abs/1310.1827




Recommendations





Cited In (3)





This page was built for publication: Selective and Ramsey ultrafilters on \(G\)-spaces

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