Cofinality of normal ideals on [λ]<κ I
Abstract
An ideal J on \([\lambda ]^{<\kappa }\) is said to be \([\delta ]^{<\theta }\)-normal, where \(\delta \) is an ordinal less than or equal to \(\lambda \), and \(\theta \) a cardinal less than or equal to \(\kappa \), if given \(B_e \in J\) for \(e \in [\delta ]^{<\theta }\), the set of all \(a \in [\lambda ]^{<\kappa }\) such that \(a \in B_e\) for some \(e \in [a \cap \delta ]^{< \vert a \cap \theta \vert }\) lies in J. We give necessary and sufficient conditions for the existence of such ideals and describe the smallest one, denoted by \(NS_{\kappa ,\lambda }^{[\delta ]^{<\theta }}\). We compute the cofinality of \(NS_{\kappa ,\lambda }^{[\delta ]^{<\theta }}\).