Sigma-Prikry forcing, part 1

In a joint project with A. Rinot and D. Sinapova we introduce a class of notions of forcing which we call $\Sigma$-Prikry, and show that many of the known Prikry-type notions of forcing that centers around singular cardinals of countable cofinality are $\Sigma$-Prikry. Among these examples one may find Prikry forcing and its supercompact version, Gitik-Sharon forcing or the Extender Based Prikry forcing due to Gitik and Magidor. Our first result shows that there is a functor $\mathbb{A}(\cdot,\cdot)$ which, given a $\Sigma$-Prikry poset $\mathbb P$ and a name for a non-reflecting stationary set $\dot{T}$, yields a $\Sigma$-Prikry poset $\mathbb{A}(\mathbb{P},\dot{T})$ that projects onto $\mathbb P$ and kills the stationarity of $T$. Afterwards, we develop a viable iteration scheme for $\Sigma$-Prikry posets. In this talk I intend to give an overview of this theory and, if time permits, present the very first application of the method: namely, the consistency of a failure of the SCH_\kappa with $Refl(<\omega,\kappa^+)$, where $\kappa$ is a strong limit singular cardinal of countable cofinality.

The slides are now available.