Stronger ideals over Pκλ
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.
- Some partition relations for ideals on \(P_{\kappa}\lambda\)
- scientific article; zbMATH DE number 1548922
- Combinatorics for Small Ideals on Pkλ
- scientific article; zbMATH DE number 1406464
- Weakly normal filters and large cardinals
- Covering for category and combinatorics on \(P_\kappa(\lambda)\)
- Seminormal fine measures on \({\mathcal P}_\kappa\lambda\)
- The nonstationary ideal on \(P_\kappa (\lambda )\) for \(\lambda \) singular
- Dense ideals and cardinal arithmetic
- Game ideals
- Projecting precipitousness
- On the existence of skinny stationary subsets
- PFA and ideals on \(\omega_{2}\) whose associated forcings are proper
- Local saturation of the non-stationary ideal over \(\mathcal P_{\kappa}\lambda\)
- Dense ideals and cardinal arithmetic
- scientific article; zbMATH DE number 3875256 (Why is no real title available?)
- scientific article; zbMATH DE number 4123735 (Why is no real title available?)
- Semiproper ideals
- Total failure of approachability at successors of singulars of countable cofinality
- On the existence of strongly normal ideals over \(P_{\kappa}\lambda\)
This page was built for publication: Stronger ideals over Pκλ
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4548843)
