The short extenders gap three forcing using a morass (Q627433)

\textit{M. Gitik} [``Blowing up the power of a singular cardinal -- wider gaps'', Ann. Pure Appl. Logic 116, No. 1--3, 1--38 (2002; Zbl 0997.03042)] proved the following: Assume the GCH. Let \(\langle \kappa_n : n<\omega\rangle\) be an increasing sequence of cardinals such that, for each \(n\), there is a \(\langle \kappa_n, \kappa_n^{+n+3}\rangle\)-extender, and let \(\kappa = \bigcup_{n<\omega} \kappa_n\). Then there is a cardinal-preserving generic extension adding no new bounded subsets to \(\kappa\) in which \(2^\kappa = \kappa^{+3}\). The author reproves this result using a neat stationary \(\langle \kappa^{++}, 1\rangle\)-simplified morass to define the forcing notion and show it is of Prikry type.