Ineffability and partition property of \({\mathcal P}_ \kappa \lambda\) (Q678262)

The main results in this paper are the following two theorems. Theorem 1. If \(\kappa\) is completely \(\lambda^{<\kappa}\)-ineffable, then \(\text{part}^* (\kappa,\lambda^{<\kappa})\) holds. Theorem 2. Assume that there exists an \(\alpha<\kappa\) such that \(2^\delta\leq \delta^{+\alpha}\), for all \(\delta<\kappa\). Then, if \(\kappa\) is \(\lambda^{<\kappa}\)-ineffable, then \(\text{part}^* (\kappa,\lambda^{<\kappa})\) holds. In order to prove the theorems, the author introduced the hierarchy of ideals which are associated with partition property and ineffability.