Stronger ideals over P_κλ (Q4548843)

The paper investigates ideals on \(P_\kappa(\lambda)\) with strong combinatorial properties. The main results read as follows: (A) If \(\kappa\) is the successor of a singular cardinal, then for any ideal \(J\) on \(P_\kappa (\lambda)\) the forcing notion \((J^+,\subseteq)\) is not proper. (B) Let \(\nu\) be a regular uncountable cardinal, and \(\mu>\nu\) be a supercompact cardinal. Then in the model obtained by Levy collapsing \(\mu\) to \(\nu^+\) there exists a \(\prec\nu\)-strategically closed normal ideal on \(P_{\nu^+} (\lambda)\) for any \(\lambda\geq\nu^+\). (C) If there exists an \(\omega\)-strategically closed normal ideal on \(P_{\omega_2}(\lambda)\) for every \(\lambda \geq \omega_2\), then Rado's conjecture holds. (D) If there exists an \(\omega \)-strategically closed normal ideal on \(P_\kappa(\lambda)\), then (a) for any regular cardinal \(\mu\) with \(\kappa\leq \mu\leq \lambda\) every stationary subset of \(\{\alpha< \mu:\text{cf} (\alpha)=\omega\}\) reflects, and (b) SCH holds between \(\kappa\) and \(\lambda\). Reviewer's comments: Theorem 5 is independently due to \textit{Cédric Péan} [Doctoral dissertation, Caen (1998)] and \textit{Mirna Džamonja} [Rad. Mat. 9, 141-155 (1999; Zbl 0983.03036)]. Theorem 1(i) is folklore; see, e.g., the reviewer, Math. Log. Q. 46, 87-103 (2000; Zbl 0940.03055), where it is observed that no ideal on \(P_{\omega_1} (\lambda)\) is \((\omega,2)\)-distributive. Theorems 4 and 6 have been obtained independently by the reviewer, who showed that, more generally, for any infinite cardinal \(\rho< \kappa\), an ideal \(J\) on \(P_\kappa (\lambda)\) is \(\rho\)-normal (in the sense of the paper under review) if and only if it is normal and \((\rho, \lambda^\rho)\)-distributive.