Cardinal coefficients associated to certain orders on ideals (Q661292): Difference between revisions

The authors introduce and study natural generalizations of the pseudo-intersection number \(\mathfrak p\). Namely, given a relation \(\sqsubseteq\) on the family of ideals in \({\mathcal P(\omega)}\), the \textit{\(\sqsubseteq\)-intersection number} \(\mathfrak p_\sqsubseteq(\mathcal I)\) is defined to be the minimal character of an ideal \(\mathcal J\) such that \(\mathcal J \not \sqsubseteq \mathcal I\). This number has strict connections with ideal variants of the Fréchet-Urysohn property of countable topological spaces, as it is described in Section 3 of the paper under review. In place of \(\sqsubseteq\), the authors consider three particular relations: the \textit{Katětov ordering \(\leq_K\), Katětov-Blass ordering \(\leq_{KB}\)}, and the \textit{one-to-one ordering \(\leq_{1-1}\)}. The last one has been introduced by the authors. Namely, \(\mathcal I \leq_{1-1} \mathcal J\) iff there exists a one-to-one function \(f : \omega \to \omega\) such that \(A \in \mathcal I\) implies \(f^{-1}[A] \in \mathcal J\). The orderings \(\leq_{KB}\) and \(\leq_K\) are defined similarly, relaxing the assumption on \(f\) either to be finite-to-one (Katětov-Blass) or arbitrary (Katětov). The corresponding intersection numbers are denoted by \(\mathfrak p_K\), \(\mathfrak p_{KB}\), and \(\mathfrak p_{1-1}\), respectively. Section 4 contains, among other things, the following consistency results. (Theorem 4.3) In the Cohen model (adding \(\omega_2\) Cohen reals to a model of GCH), the following holds: There exist a filter \(\mathcal F\) and a meager filter \(\mathcal G\) such that \(\mathfrak p_{1-1}(\mathfrak F) = \omega_2 = \mathfrak {K}_(\mathcal G)\), while on the other hand \(\mathfrak p_{K}(\mathcal I) = \omega_1\) whenever \(\mathcal I\) is an \(F_\sigma\) ideal or an analytic P-ideal. (Theorem 4.5) It is consistent with ZFC that \(2^{\omega} = 2^{\omega_1}\) is arbitrarily large, while at the same time \(\leq_{KB}\) restricted to filters generated by \(\omega_1\) sets is not upward directed. In particular, in this model \(\mathfrak p_{KB}(\mathcal I) \leq \omega_1\) for every filter \(\mathcal I\) on \(\omega\). The last section of the paper, finished with some interesting open questions, contains a discussion of possible generalizations of other well-known cardinal invariants, in particular, the minimal cardinality \(\mathfrak a\) of a maximal almost disjoint family.