Noah Schoem : How to add reals

Posted by Noah Schoem , part of the Louise Hay Logic Seminar.

At

Jan. 30, 2020, 3 p.m.

In

427 SEO

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.