zbMATH — the first resource for mathematics

Combinatorics for the dominating and unsplitting numbers. (English) Zbl 1069.03038
Summary: In this paper we introduce a new property of families of functions on the Baire space, called pseudo-dominating, and apply the properties of these families to the study of cardinal characteristics of the continuum. We show that the minimum cardinality of a pseudo-dominating family is \(\min\{\mathfrak{r,d}\}\). We derive two corollaries from the proof: \(\mathfrak r\geq \min\{\mathfrak{d,u}\}\) and \(\min\{\mathfrak{d,r}\}= \min\{\mathfrak{d,r}_\sigma\}\). We show that if a dominating family is partitioned into fewer than \(\mathfrak s\) pieces, then one of the pieces is pseudo-dominating. We finally show that \(\mathfrak u < \mathfrak g\) implies that every unbounded family of functions is pseudo-dominating, and that the Filter Dichotomy principle is equivalent to every unbounded family of functions being finitely pseudo-dominating.

03E17 Cardinal characteristics of the continuum
03E05 Other combinatorial set theory
Full Text: DOI
[1] Logic and Algebra 302 pp 33– (2002)
[2] DOI: 10.1007/BF01793782 · Zbl 0706.03036
[3] DOI: 10.1016/0166-8641(91)90105-U · Zbl 0752.54013
[4] Studia Mathematica 67 pp 13– (1980)
[5] Czechoslovak Mathematical Journal 27 pp 556– (1977)
[6] Consistency results about filters and the number of inequivalent growth types 54 pp 50– (1989) · Zbl 0673.03038
[7] Archive for Mathematical Logic 330 pp 93– (2001)
[8] Fundamenta Mathematicae 92 pp 92– (1976)
[9] Commentationes Mathematicae Universitatis Carolinae 39 pp 269– (1998)
[10] On the cofinality of ultrapowers 64 pp 727– (1999) · Zbl 0930.03060
[11] Transactions of the American Mathematical Society 40 pp 307– (1992)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.