Magidor Forcing and iterations
The City University of New York
I am going to use the characterization of Magidor sequences I gave last Friday, in order to show that the critical sequences of certain iterations are Magidor generic over the limit model. I am also going to say a few words about maximality and uniqueness properties of Magidor sequences, which can be shown using the connection between Magidor forcing and iterations.
Gunter Fuchs is a professor at The City University of New York, and conducts research in mathematical logic and especially set theory.