Iterating Symmetric Extensions
J. Symb. Log., pp. 123-159, 2019.
Symmetric extensions is a method which extends forcing to produce models where the axiom of choice fails, by identifying intermediate models between the ground model and the generic extensions. We develop a framework for iterating symmetric extensions in order to construct new models of ZF. We use this method to construct a model which ...More
PPT (Upload PPT)