Strong Prikry Property for Magidor Iteraton, part 2
Omer Ben-Neria (HUJI)
07/04/2021 - 16:00 - 14:00
In his celebrated work on the identity crisis of strongly compact cardinals, Magidor introduced a special iteration of Prikry forcings for a set of measurable cardinals, known as the Magidor iteration.
The purpose of this talk is to state and prove a version of the strong Prikry Lemma for such iterations, extending a result of Fuchs for the case where the set of measurables is discrete. We will also describe several applications regarding the genericity of sequences of critical points in iterated ultrapowers.
תאריך עדכון אחרון : 06/04/2021