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