Louise Hay Logic Seminar

Noah Schoem
Forcing II
Abstract: After a quick review of the apparatus of forcing, we will cover how the generic extension $M[G]$ is built from interpreted $\mathbb{P}$-names. We will then cover cardinal collapse with $Col(\omega,\kappa)$ and the consistency of $2^{\aleph_0}=\aleph_2$ from $Add(\omega,\omega_2)$.
Thursday September 8, 2016 at 4:00 PM in SEO 427
HTML 5 CSS FAE
UIC LAS MSCS > seminars >