We apply the technique of generic ultrapowers to study the splitting problem of stationary subsets of P K λ . We present some conditions which guarantee the splitting of stationary subsets of P K λ.

We prove that if λ is a strong limit singular cardinal and κ a regular uncountable cardinal < λ, then NSκλ, the non-stationary ideal over [Formula: see text], is nowhere precipitous. We also show that under the same hypothesis every stationary subset of [Formula: see text] can be partitioned into λκ disjoint stationary sets.

We show that if κ is an inaccessible cardinal then P κ λ splits into $\lambda^{ many disjoint stationary subsets. We also show that if P κ λ carries a strongly saturated ideal then the nonstationary ideal cannot be λ + -saturated.

In this paper we will present a simple condition for an ideal to be nowhere precipitous. Through this condition we show nowhere precipitousness of fundamental ideals onPkλ, in particular the non-stationary idealNSkλunder cardinal arithmetic assumptions.In this sectionIdenotes a non-principal ideal on an infinite setA. LetI+=PA/I(ordered by inclusion as a forcing notion) andI∣X= {Y⊂A:Y⋂X∈I}, which is also an ideal onAforX∈I+. We refer the reader to [8, Section 35] for the general theory of generic ultrapowers associated with an ideal. We recallIis said (...) to be precipitous if ⊨I+“Ult(V, Ġ) is well-founded” [9].The central notion of this paper is a strong negation of precipitousness [1]:Definition.Iis nowhere precipitous ifI∣Xis not precipitous for everyX∈ I+i.e., ⊨I+“Ult(V, Ġ) is ill-founded.”It is useful to characterize nowhere precipitousness in terms of infinite games (see [11, Section 27]). Consider the following gameG(I) between two players, Nonempty and Empty [5]. Nonempty and Empty alternately chooseXn∈I+andYn∈I+respectively so thatXn⊃Yn⊃n+1. After ω moves, Empty wins the game if⋂n<ωXn=⋂n<ωYn= Ø.See [5, Theorem 2] for a proof of the following characterization.Proposition.I is nowhere precipitous if and only if Empty has a winning strategy in G(I). (shrink)

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)

We show that if $\kappa$ is an inaccessible cardinal then $P_\kappa\lambda$ splits into $\lambda^{<\kappa}$ many disjoint stationary subsets. We also show that if $P_\kappa\lambda$ carries a strongly saturated ideal then the nonstationary ideal cannot be $\lambda^+$-saturated.