MATH 7810 - Seminar in Logic
Justin Moore, fall 2014.
We will work through several topics in set theory. One of these will be the proof of Malliaris and Shelah that the cardinal numbers $\mathfrak{p}$ and $\mathfrak{t}$ coincide. We will also work through the preservation theorems of Eisworth and Roslanoski-Shelah for preserving the first two uncountable cardinals in iterations with uncountable support.