Sigma-Prikry forcing, part 1

Seminar
Speaker
Alejandro Poveda (Universitat de Barcelona)
Date
06/05/2020 - 13:00 - 11:00Add to Calendar 2020-05-06 11:00:00 2020-05-06 13:00:00 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. zoom אוניברסיטת בר-אילן - Department of Mathematics mathoffice@math.biu.ac.il Asia/Jerusalem public
Place
zoom
Abstract

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.

Last Updated Date : 07/05/2020