A saturated stationary subset of \(P_{\kappa}\kappa^+\) (Q1428325)

Starting from a model of the GCH with a cardinal \(\kappa\) that is \(\kappa^+\)-supercompact, the author constructs a model in which \(\kappa\)~is Mahlo and the stationary ideal of \(\mathcal{P}_\kappa\kappa^+\) is \(\kappa^+\)-saturated on some stationary set. This improves an older result of \textit{M. Gitik} [J. Symb. Logic 50, 881--894 (1985; Zbl 0601.03021)] by reducing the assumption on \(\kappa\) from \(\kappa^{+++}\)- to \(\kappa^+\)-supercompactness; this is accomplished by using a variation of a club-shooting partial order of \textit{T. Jech} and \textit{S. Shelah} [Trans. Am. Math. Soc. 352, No. 6, 2507--2515 (2000; Zbl 0955.03048)].