Logic and Set Theory Seminar: Forcing with small working parts
Charles Morgan, UoB
Howard House 4th Floor Seminar Room
I will discuss set theoretic construction with 'small working parts', from its roots in the 1970s to current developments in adding combinatorial structures on $\omega_2$ and proving various forcing axioms consistent. A substantial part of the focus will the on the allied technique of using models as 'side conditions'.