Abstract
The interplay between ultrafilters and unbounded subsets of \({}^\omega \omega \) with the order \(<^*\) of strict eventual domination is studied. Among the tools are special kinds of non-principal (“free”) ultrafilters on \(\omega \). These include simple P-points; that is, ultrafilters with a base that is well-ordered with respect to the reverse of the order \(\subset ^*\) of almost inclusion. It is shown that the cofinality of such a base must be either \(\mathfrak {b}\), the least cardinality of \(<^*\)-unbounded (“undominated”) set, or \(\mathfrak {d}\), the least cardinality of a \(<^*\)-cofinal (“dominating”) set. The small uncountable cardinal \(\pi \mathfrak {p}\) is introduced. Consequences of \(\mathfrak {b}< \pi \mathfrak {p}\) and of \(\mathfrak r < \mathfrak {d}\) are explored; in particular, both imply \(\mathfrak {b}< \mathfrak {d}\). Here \(\mathfrak r\) is the reaping number, and is also the least cardinality of a \(\pi \)-base for a free ultrafilter. Both of these inequalities are shown to occur if there exist simple P-points of different cofinalities (in other words, if \(\mathfrak {b}< \mathfrak {d}\) and there exist simple \(P_\mathfrak {b}\)-points and \(P_\mathfrak {d}\)-points), but this is a long-standing open problem. Six axioms on nonprincipal ultrafilters on \(\omega \) and the relationships between them are discussed along with various models of set theory in which one or more are known to hold (or are known to fail). The strongest of these, Axiom 1, is that for every free ultrafilter \(\mathcal U\) and for every \(<^*\)-unbounded \(<^*\)-chain C of increasing functions in \({}^\omega \omega \), C is also unbounded in the ultraproduct \({}^\omega \omega , <_\mathcal U\). The other axioms replace one or both quantifiers with “there exists.” The negation of Axiom 3 in a model provides a family of normal sequentially compact spaces whose product is not countably compact. The question of whether such a family exists in ZFC, even with “normal” weakened to “regular”, is a famous unsolved problem of set-theoretic topology, known as the Scarborough–Stone problem.
Similar content being viewed by others
Notes
It is an accident of notation that \(\pi \mathfrak {p}\ge \mathfrak {p}\) while \(\pi \mathfrak {u}\le \mathfrak {u}\), and both inequalities can be strict: see the note after Theorem 1.6.
Semi-Q-points are also referred to as rapid ultrafilters.
References
Balcar, B., Frankiewicz, R., Mills, C.: More on nowhere dense closed P-sets. Bull. Acad. Pol. Sci. Ser. Sci. Math. Astr. Phys. 28, 295–299 (1980)
Balcar, B., Pelant, J., Simon, P.: The space of ultrafilters on \(\mathbb{N}\) covered by nowhere dense sets. Fundam. Math. 110(1), 11–24 (1980)
Balcar, B., Simon, P.: On minimal \(\pi \)-character of points in extremally disconnected compact spaces. Topol. Appl. 41(1–2), 133–145 (1991)
Baumgartner, J., Dordal, P.: Adjoining dominating functions. J. Symb. Logic 50, 94–101 (1985)
Blass, A.: Near coherence of filters I: cofinal equivalence of models of arithmetic. Notre Dame J. Form. Logic 27(4), 579–591 (1986)
Blass, A.: Applications of superperfect forcing and its relatives. In: Steprāns, J., Watson, S. (eds.) Set Theory and Its Applications. Lecture Notes in Mathematics, vol. 1401, pp. 18–40. Springer, Berlin (1989)
Blass, A., Mildenberger, H.: On the cofinality of ultrapowers. J. Symb. Logic 64(2), 727–736 (1999)
Bella, A., Nyikos, P.: Sequential compactness vs. countable compactness. Colloq. Math. 120(2), 165–189 (2010)
Blass, A., Shelah, S.: There may be simple \(P_{{\aleph }_1}\)- and \(P_{{\aleph }_2}\)- points and the Rudin–Keisler order may be downward directed. Ann. Pure nd Appl. Logic 33, 213–243 (1987)
Blass, A., Shelah, S.: Ultrafilters with small generating sets. Isr. J. Math. 65, 259–271 (1989)
Blass, A., Shelah, S.: Near coherence of filters. III. A simplified consistency proof. Notre Dame J. Form. Logic 30(4), 530–538 (1989)
Brendle, J., Fischer, V.: Mad families, splitting families and large continuum. J. Symb. Logic 76(1), 198–208 (2011)
Brendle, J., Shelah, S.: Ultrafilters on \(\omega \)–their ideals and their cardinal characteristics. Trans. Am. Math. Soc. 351(7), 2643–2674 (1999)
Canjar, R.M.: Cofinalities of countable ultraproducts: the existence theorem. Notre Dame J. Form. Logic 30, 539–542 (1989)
Canjar, R.M.: Mathias forcing that does not add dominating reals. Proc. Am. Math. Soc. 104, 1239–1248 (1988)
Dordal, P.L.: A model in which the base matrix tree cannot have cofinal branches. J. Symb. Logic 52, 651–664 (1987)
Dow, A.: P-filters and Cohen, random, and Laver forcing. Preprint available at https://webpages.uncc.edu/~adow/. Accessed 2 Apr 2020
Hechler, S.: On the existence of cofinal subsets of \({}^{\omega }\omega \). In: Axiomatic Set Theory, pp. 155–173 (1967)
Ketonen, J.: On the existence of P-points in the Stone–Čech compactification of integers. Fundam. Math. 92(2), 91–94 (1976)
Kunen, K.: Set Theory. North-Holland, Amsterdam (1980)
Nyikos, P.: On first countable, countably compact spaces II: remainders in a van Douwen construction and P-ideals. Topol. Appl. 35, 185–196 (1990)
Nyikos, P.: Subsets of \({}^{\omega }\omega \) and the Fréchet–Urysohn and \(\alpha _i\)-properties. Topol. Appl. 48, 91–116 (1992)
Nyikos, P., Zdomskyy, L.: Locally compact, \(\omega _1\)-compact spaces. Ann. Pure Appl. Logic. Preprint available at http://people.math.sc.edu/nyikos/preprints.html. arXiv:1712.03906 (submitted). Accessed 2 Apr 2020
Nyikos, P., Vaughan, J.: Sequentially compact, Franklin–Rajagopalan spaces. Proc. Am. Math. Soc. 101, 149–155 (1987)
Nyikos, P., Vaughan, J.: The Scarborough–Stone problem for Hausdorff spaces. Topol. Appl. 44, 309–316 (1992)
Rudin, M.E.: Lectures on set theoretic topology. In: Conference Board of the Mathematical Sciences Regional Conference Series in Mathematics, No. 23, American Mathematical Society, Providence, RI, 1975 (1977)
Solomon, R.C.: Families of sets and functions. Czech. Math. J. 27, 556–559 (1977)
Shelah, S., Steprāns, J.: Maximal chains in \({}^{\omega }\omega \) and ultrapowers of the integers. Arch. Math. Logic 32(5), 305–319 (1993). [Erratum in Arch. Math. Logic 33(2), 167–168 (1994)]
van Douwen, E.K.: The integers and topology. In: Kunen, K., Vaughan, J. (eds.) Handbook of Set-Theoretic Topology, pp. 111–167. North-Holland, Amsterdam (1984)
Vaughan, J.E.: Small uncountable cardinals and topology. In: van Mill, J., Reed, G.M. (eds.) Open Problems in Topology. North-Holland, Amsterdam (1990)
Walker, R.C.: The Stone-Čech Compactification, Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 83. Springer, Berlin (1974)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Nyikos, P. Special ultrafilters and cofinal subsets of \(({}^\omega \omega , <^*)\). Arch. Math. Logic 59, 1009–1026 (2020). https://doi.org/10.1007/s00153-020-00724-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-020-00724-9
Keywords
- Ultrafilter
- Simple P-point
- Pseudo-\(P_\kappa \)-point
- Small uncountable cardinals
- \({}^\omega \omega \)
- Eventual domination
- Unbounded
- Dominating