We give a new characterization of the nonstationary ideal on \\) in the case when \ is a regular uncountable cardinal and \ a singular strong limit cardinal of cofinality at least \.

We introduce the notion of skinniness for subsets of $\mathcal{P}_\kappa \lambda$ and its variants, namely skinnier and skinniest. We show that under some cardinal arithmetical assumptions, precipitousness or $2^\lambda$-saturation of $\mathrm{NS}_{\kappa\lambda}\mid X$, where $\mathrm{NS}_{\kappa\lambda}$ denotes the non-stationary ideal over $\mathcal{P}_\kappa \lambda$, implies the existence of a skinny stationary subset of $X$. We also show that if $\lambda$ is a singular cardinal, then there is no skinnier stationary subset of $\mathcal{P}_\kappa \lambda$. Furthermore, if $\lambda$ is a strong limit singular cardinal, there (...) is no skinny stationary subset of $\mathcal{P}_\kappa \lambda$. Combining these results, we show that if $\lambda$ is a strong limit singular cardinal, then $\mathrm{NS}_{\kappa\lambda}\mid X$ can satisfy neither precipitousness nor $2^\lambda$-saturation for every stationary $X \subseteq \mathcal{P}_\kappa \lambda$. We also indicate that $\diamondsuit_\lambda(E^{\lambda}_{<\kappa})$, where $E^{\lambda}_{<\kappa} \stackrel{\mathrm{def}}{=} \{\alpha < \lambda \mid \mathrm{cf}(\alpha) < \kappa\}$, is equivalent to the existence of a skinnier (or skinniest) stationary subset of $\mathcal{P}_\kappa \lambda$ under some cardinal arithmetical hypotheses. (shrink)

Starting with a λ-supercompact cardinal κ, where λ is a regular cardinal greater than or equal to κ, we produce a model with a stationary subset S of such that , the ideal generated by the non-stationary ideal over together with , is λ+-saturated. Using this model we prove the consistency of the existence of such a stationary set together with the Generalized Continuum Hypothesis . We also show that in our model we can make -saturated, where S is the (...) set of all such that , the order type of x, is a regular cardinal and x is stationary in sup. Furthermore we construct a model where is κ+-saturated but GCH fails. We show that if SS is stationary in , then S can be split into λ many disjoint stationary subsets. (shrink)

We study a normal ideal on Pκ that is defined in terms of games.