On the existence of strongly normal ideals over \(P_{\kappa}\lambda\) (Q922536)

For \(\kappa\) an uncountable regular cardinal, and any \(\lambda\geq \kappa\), an ideal I over \({\mathcal P}_{\kappa}\lambda\) is called strongly normal if for any \(X\in {\mathcal P}_{\kappa}\lambda -I\) and \(f:X\to {\mathcal P}_{\kappa}\lambda\) such that f(x)\(\subset x\) and \(| f(x)| <| x\cap \kappa |\) for all \(x\in X\), f is constant on a set in \({\mathcal P}_{\kappa}\lambda -I\). These notions have been studied previously; here it is shown that \({\mathcal P}_{\kappa}\lambda\) carries a strongly normal ideal if and only if either \(\kappa\) is Mahlo or \(\kappa =\nu^+\) where \(\nu^{<\nu}=\nu\). In these cases the smallest strongly normal ideal is characterised in various ways, extending earlier work of \textit{Q. Feng} [J. Symb. Logic 54, 467-473 (1989; Zbl 0699.03029)] and P. Matet.