Omer Ben-Neria

Forcing Magidor iteration over a core model below {0^{\P}}

We study the Magidor iteration of Prikry forcings, and the resulting normal measures on

Homogeneous changes in cofinalities with applications to HOD

{\kappa}

The structure of the Mitchell order – II

κ , the first measurable cardinal in a generic extension. We show that when applying the iteration to a core model below

Weak prediction principles

{0^{\P}}

Diamonds, Compactness, and Measure Sequences

0¶ , then there exists a natural correspondence between the normal measures on