Σ22-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 Σ22 sentence Φ such that both Φ and ¬Φ are consistent with ♢. This answers a question due to Woodin.