Cardinal coefficients associated to certain orders on ideals (Q661292)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Cardinal coefficients associated to certain orders on ideals
scientific article

    Statements

    Cardinal coefficients associated to certain orders on ideals (English)
    0 references
    10 February 2012
    0 references
    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.
    0 references
    Katětov order
    0 references
    analytic ideal
    0 references
    cardinal invariants of the continuum
    0 references
    almost disjoint family
    0 references
    Fréchet-Urysohn property
    0 references
    weak* topology
    0 references

    Identifiers