English

Gruff Ultrafilters

Logic 2017-10-23 v5 General Topology

Abstract

We investigate the question of whether Q\mathbb Q carries an ultrafilter generated by perfect sets (such ultrafilters were called gruff ultrafilters by van Douwen). We prove that one can (consistently) obtain an affirmative answer to this question in three different ways: by assuming a certain parametrized diamond principle, from the cardinal invariant equality d=c\mathfrak d=\mathfrak c, and in the Random real model. [Edit: replace "the Randor real model" with "the model obtained by adding ω1\omega_1 Cohen reals to a model of CH\mathsf{CH}, and subsequently forcing with the Random algebra"; this is clarified in the corrigendum attached at the end of the paper.]

Keywords

Cite

@article{arxiv.1604.02473,
  title  = {Gruff Ultrafilters},
  author = {David Fernández-Bretón and Michael Hrušák},
  journal= {arXiv preprint arXiv:1604.02473},
  year   = {2017}
}

Comments

12 pages + 1 extra page at the end with a corrigendum concerning Theorems 4.2 and 4.3, please refer to this corrigendum before citing said theorems

R2 v1 2026-06-22T13:28:23.554Z