Louise Hay Logic Seminar
Noah Schoem
How to add reals
Abstract: If $V$ is a universe of $\mathrm{ZFC}$,
one may approximate a new real, a Cohen generic over $V$,
using finite binary sequences and genericity.
However, there are other kinds of ways to add real numbers to a universe.
After a brief review of forcing and genericity, we will explore random real forcing,
Sacks forcing, and others if time permits, and discuss key properties and differences.
Thursday January 30, 2020 at 3:00 PM in 427 SEO