Cardinal invariants associated with Fubini product of ideals (Q963684)

The paper is composed of three sections. In the first section, the authors present another proof of the inequality \(\mathfrak{g}_{\omega} \leq \text{cf}(\mathfrak{c})\), where \(\mathfrak{g}_{\omega}\) denotes the cardinality of the smallest family of non-feeble filters with feeble intersection; cf. Blass's proof [\textit{A. Blass}, ``Combinatorial cardinal characteristics of the continuum'', in: M. Foreman et al. (eds.), Handbook of set theory. In 3 volumes. Dordrecht: Springer. 395--489 (2010; Zbl 1198.03058)]. The second section is devoted to properties of Fubini products of ideals on \(\mathcal P(\omega)\). For a given ideal \(\mathcal I\), the authors consider several cardinal characteristics: \(\mathfrak{p}({\mathcal I})\) (cardinality of the smallest family with finite intersection property and no \(\mathcal I\)-pseudointersection), \(\mathfrak{t}({\mathcal I})\) (cardinality of the smallest tower), \(\mathfrak{a}({\mathcal I})\) (cardinality of the smallest maximal antichain), \(\mathfrak{s}({\mathcal I})\) (cardinality of the smallest splitting family), \(\mathfrak{r}({\mathcal I})\) (cardinality of the smallest reaping family). All of them are defined in a way similar to the well-known cardinal invariants \(\mathfrak{p}\), \(\mathfrak{t}\), \(\mathfrak{a}\), \(\mathfrak{s}\), \(\mathfrak{r}\) for an ideal \([\omega]^{<\omega}\) of finite subsets of the natural numbers. The following inequalities are proved in the paper: \(\mathfrak{p}({\mathcal I}\times {\mathcal J}) \leq \mathfrak{p}({\mathcal I})\), \(\mathfrak{t}({\mathcal I}\times {\mathcal J}) \leq \mathfrak{t}({\mathcal I})\), \(\mathfrak{a}({\mathcal I}\times {\mathcal J}) \leq \mathfrak{a}({\mathcal I})\), \(\mathfrak{s}({\mathcal I}\times {\mathcal J}) \leq \mathfrak{s}({\mathcal I})\) and \(\mathfrak{r}({\mathcal I}\times {\mathcal J}) \geq \mathfrak{r}({\mathcal I})\), where \({\mathcal I}\times {\mathcal J}\) denotes the Fubini product of the ideals \({\mathcal I}\) and \({\mathcal J}\). In the last part of the paper the authors deal with transitive versions of Cichoń's cardinals add\(({\mathcal I})\), non\(({\mathcal I})\), cov\(({\mathcal I})\), and cof\(({\mathcal I})\).