-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: 92,261

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

Ultrafilters on ω.James E. Baumgartner - 1995 - Journal of Symbolic Logic 60 (2):624-639.
Ultrafilters on $omega$.James E. Baumgartner - 1995 - Journal of Symbolic Logic 60 (2):624-639.
On Milliken-Taylor Ultrafilters.Heike Mildenberger - 2011 - Notre Dame Journal of Formal Logic 52 (4):381-394.
Hierarchies of measure-theoretic ultrafilters.Michael Benedikt - 1999 - Annals of Pure and Applied Logic 97 (1-3):203-219.
Ultrafilters which extend measures.Michael Benedikt - 1998 - Journal of Symbolic Logic 63 (2):638-662.
Ultrafilters which Extend Measures.Michael Benedikt - 1998 - Journal of Symbolic Logic 63 (2):638-662.
| ˜ -Divisibility of ultrafilters.Boris Šobot - 2021 - Annals of Pure and Applied Logic 172 (1):102857.
Strange ultrafilters.Moti Gitik - 2019 - Archive for Mathematical Logic 58 (1-2):35-52.
Forcing with filters and complete combinatorics.Claude Laflamme - 1989 - Annals of Pure and Applied Logic 42 (2):125-163.
A characterization of 2-square ultrafilters.Ned I. Rosen - 1983 - Journal of Symbolic Logic 48 (2):409-414.
Reasonable Ultrafilters, Again.Andrzej Rosłanowski & Saharon Shelah - 2011 - Notre Dame Journal of Formal Logic 52 (2):113-147.
Forcing and stable ordered–union ultrafilters.Todd Eisworth - 2002 - Journal of Symbolic Logic 67 (1):449-464.
Sets constructible from sequences of ultrafilters.William J. Mitchell - 1974 - Journal of Symbolic Logic 39 (1):57-66.
Some constructions of ultrafilters over a measurable cardinal.Moti Gitik - 2020 - Annals of Pure and Applied Logic 171 (8):102821.

Analytics

Added to PP
2023-01-05

Downloads
13 (#1,041,239)

6 months
10 (#276,350)

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