$\Sigma^2_2$-absoluteness
Speaker:
Hossein Lamei Ramandi, University of Toronto
Date and Time:
Friday, January 25, 2019 - 1:30pm to 3:00pm
Location:
Fields Institute, Room 210
Abstract:
We will show there is a $\Sigma^2_2$ sentence $\Phi$ such that both $\Phi$ and $\neg \Phi$ are consistent with $\diamondsuit$. This answers a question due to Woodin.
