Non-saturation of the nonstationary ideal on P _ ( ) in case cf( ) <
Let \(\kappa\) be a regular uncountable cardinal, and \(\lambda \) be a singular cardinal with \(\mathrm{cf}(\lambda) \geq\kappa\). Let \(\mathrm{NS}_{\kappa,\lambda}\) denote the nonstationary ideal on \(P_\kappa(\lambda)\). By the works of \textit{D. R. Burke} and \textit{Y. Matsubara} [Isr. J. Math. 114, 253--263 (1999; Zbl 0946.03056)] and \textit{M. Foreman} and \textit{M. Magidor} [Acta Math. 186, No. 2, 271--300 (2001; Zbl 1017.03022)], \(\mathrm{NS}_{\kappa,\lambda}\) is not \(\lambda^+\)-saturated for the case \(\kappa\leq\mathrm{cf}(\lambda)<\lambda\). In fact, in those two papers, \(\mathrm{NS}_{\kappa,\lambda}|T\), for various \(T\subset P_\kappa(\lambda)\) and under various cardinal assumptions, are shown not to be \(\lambda^+\)-saturated. In this paper, the author adds one more instance to the collection of situations that \(\mathrm{NS}_{\kappa,\lambda}|T\) is not \(\lambda ^+\)-saturated, more precisely, when \(\kappa\geq \omega_2\) and \(T=\{a \in P_\kappa(\lambda) \mid |a|=|a\cap \kappa| \text{ and } \mathrm{cf}(\sup(a\cap \kappa)) = \mathrm{cf}(\sup(a)) = \omega\}\). Apart from the use of Foreman-Magidor's result on mutually stationary sets and Shelah's result on the existence of scales, the new ingredient of the argument is the following fact of game ideals in the author's earlier paper [Ann. Pure Appl. Logic 158, No. 1--2, 23--39 (2009; Zbl 1173.03036)]: \(\mathrm{NG}_{\kappa,\lambda}=p(\mathrm{NS}_{\omega_1, \lambda^{<\kappa}})\) for some \(p: P_{\omega_1}(\lambda^{<\kappa}) \to P_\kappa(\lambda)\), where \(\mathrm {NG}_{\kappa,\lambda}\) denotes the game ideal on \(P_\kappa(\lambda)\).
- Non-saturation of the non-stationary ideal on \(P_{\kappa } (\lambda )\) with \(\lambda \) of countable cofinality
- Local saturation of the non-stationary ideal over \(\mathcal P_{\kappa}\lambda\)
- The nonstationary ideal on \(P_\kappa (\lambda )\) for \(\lambda \) singular
- On saturated ideals and Ρ_ϰ λ
- The nonstationary ideal in the ℙmax extension
- The nonstationary ideal and the other 𝜎-ideals on 𝜔₁
- Weak saturation of ideals on \(P_{\kappa }(\lambda )\)
- Saturation of fundamental ideals on \({\mathcal P}_ \kappa \lambda\)
- NOWHERE PRECIPITOUSNESS OF THE NON-STATIONARY IDEAL OVER ${\mathcal P}_\kappa \lambda$
- Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal on \(P_x(\lambda)\)
- Game ideals
- scientific article; zbMATH DE number 1329711 (Why is no real title available?)
- scientific article; zbMATH DE number 3351573 (Why is no real title available?)
- Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal on \(P_x(\lambda)\)
- Non-saturation of the non-stationary ideal on \(P_{\kappa } (\lambda )\) with \(\lambda \) of countable cofinality
- Splitting \({\mathcal P}_\kappa \lambda\) into maximally many stationary sets
- The extent of strength in the club filters
- The Magidor function and diamond
- Two cardinal versions of diamond
- The structure of pleasant ideals
- Ideals on \({P_{\kappa}(\lambda)}\) associated with games of uncountable length
- The nonstationary ideal on \(P_\kappa (\lambda )\) for \(\lambda \) singular
- Local saturation of the non-stationary ideal over \(\mathcal P_{\kappa}\lambda\)
- Weak saturation of ideals on \(P_{\kappa }(\lambda )\)
- Non-saturation of the non-stationary ideal on \(P_{\kappa } (\lambda )\) with \(\lambda \) of countable cofinality
- On saturated ideals and Ρ_ϰ λ
- The nonstationary ideal and the other 𝜎-ideals on 𝜔₁
- NOWHERE PRECIPITOUSNESS OF THE NON-STATIONARY IDEAL OVER ${\mathcal P}_\kappa \lambda$
- Normal restrictions of the noncofinal ideal on \(P_{\kappa} (\lambda )\)
- A relative of the approachability ideal, diamond and non-saturation
- Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal on \(P_x(\lambda)\)
- -clubs of P_( ): paradise in heaven
This page was built for publication: Non-saturation of the nonstationary ideal on \(P _{\kappa }(\lambda )\) in case \(\kappa \leq \mathrm{cf}(\lambda ) < \lambda \)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q412069)
