-Ultrafilters in the Rational Perfect Set Model

Journal of Symbolic Logic 89 (1):175-194 (2024)
  Copy   BIBTEX

Abstract

We give a new characterization of the cardinal invariant $\mathfrak {d}$ as the minimal cardinality of a family $\mathcal {D}$ of tall summable ideals such that an ultrafilter is rapid if and only if it has non-empty intersection with all the ideals in the family $\mathcal {D}$. On the other hand, we prove that in the Miller model, given any family $\mathcal {D}$ of analytic tall p-ideals such that $\vert \mathcal {D}\vert <\mathfrak {d}$, there is an ultrafilter $\mathcal {U}$ which is an $\mathscr {I}$ -ultrafilter for all ideals $\mathscr {I}\in \mathcal {D}$ at the same time, yet $\mathcal {U}$ is not a rapid ultrafilter. As a corollary, we obtain that in the Miller model, given any analytic tall p-ideal $\mathscr {I}$, $\mathscr {I}$ -ultrafilters are dense in the Rudin–Blass ordering, generalizing a theorem of Bartoszyński and S. Shelah, who proved that in such model, Hausdorff ultrafilters are dense in the Rudin–Blass ordering. This theorem also shows some limitations about possible generalizations of a theorem of C. Laflamme and J. Zhu.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Yet Another Ideal Version of the Bounding Number.Rafał Filipów & Adam Kwela - 2022 - Journal of Symbolic Logic 87 (3):1065-1092.
Logics From Ultrafilters.Daniele Mundici - forthcoming - Review of Symbolic Logic:1-18.
Covering properties of ideals.Marek Balcerzak, Barnabás Farkas & Szymon Gła̧b - 2013 - Archive for Mathematical Logic 52 (3-4):279-294.
Generic existence of interval P-points.Jialiang He, Renling Jin & Shuguo Zhang - 2023 - Archive for Mathematical Logic 62 (5):619-640.
More on fréchet–urysohn ideals.Salvador García Ferreira & Osvaldo Guzmán - 2022 - Journal of Symbolic Logic 87 (2):829-851.
The Rudin-Blass ordering of ultrafilters.Claude Laflamme & Jian-Ping Zhu - 1998 - Journal of Symbolic Logic 63 (2):584-592.
The Rudin-Blass Ordering of Ultrafilters.Claude Laflamme & Jian-Ping Zhu - 1998 - Journal of Symbolic Logic 63 (2):584-592.
Some initial segments of the Rudin-Keisler ordering.Andreas Blass - 1981 - Journal of Symbolic Logic 46 (1):147-157.

Analytics

Added to PP
2023-01-05

Downloads
13 (#1,064,789)

6 months
10 (#309,337)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Katětov Order on Mad Families.Osvaldo Guzmán - 2024 - Journal of Symbolic Logic 89 (2):794-828.

Add more citations

References found in this work

Analytic ideals and their applications.Sławomir Solecki - 1999 - Annals of Pure and Applied Logic 99 (1-3):51-72.
Near coherence of filters. I. Cofinal equivalence of models of arithmetic.Andreas Blass - 1986 - Notre Dame Journal of Formal Logic 27 (4):579-591.
Near coherence of filters. III. A simplified consistency proof.Andreas Blass & Saharon Shelah - 1989 - Notre Dame Journal of Formal Logic 30 (4):530-538.
Ultrafilters on ω.James E. Baumgartner - 1995 - Journal of Symbolic Logic 60 (2):624-639.

View all 7 references / Add more references