Logic & Set Theory: Forcing with small working parts II
Dr Charles Morgan UoB
Howard House 4th Floor Seminar Room
"Forcing with small working parts II"
This continues last week's seminar.
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'.