The structure of ineffability properties of \(P_{\kappa}\lambda\) (Q1087870)

We investigate ideal-theoretic and other aspects of ineffability properties of \(P_{\kappa}\lambda\), and define the following new ineffability property. Let \(NSh_{\kappa \lambda}\) denote the set of all \(X\subset P_{\kappa}\lambda\) which do not have the property ''for any \((f_ x:x\in X)\) such that (\(\forall x\in X)\) \((f_ x:x\to x)\), (\(\exists f:\lambda \to \lambda)(\forall x\in P_{\kappa}\lambda)(\exists y\in X\cap \hat x)(f_ y| x=f| x)''\), and say that \(\kappa\) is \(\lambda\)-Shelah iff \(P_{\kappa}\lambda \not\in NSh_{\kappa \lambda}\). Our results include the following: Theorem. \(\kappa\) is \(\lambda\)-Shelah iff \(NSh_{\kappa \lambda}\) is a normal ideal on \(P_{\kappa}\lambda\). Theorem. If \(\kappa\) is \(2^{\lambda^{<\kappa}}\)-Shelah, then \(\kappa\) is \(\lambda\)- supercompact. Corollary. \(\kappa\) is supercompact iff (\(\forall \lambda \geq \kappa)\) (\(\kappa\) is \(\lambda\)-Shelah) iff (\(\forall \lambda \geq \kappa)\) (\(\kappa\) is almost \(\lambda\)-ineffable).