Louise Hay Logic Seminar
Fanxin Wu
UIC
Randomizing set theory
Abstract: A short proof of consistency of $V\neq L$ goes like this: take a random subset $A$ of $\omega$. The probability of $A=X$ for any fixed $X\subseteq\omega$ is zero, and thus $A$ is different from all $X$, so it is new, and it cannot be in $L$ by absoluteness. We explain how this "proof" is made rigorous by the Boolean algebra formulation of forcing.
Thursday February 24, 2022 at 4:00 PM in 636 SEO