Louise Hay Logic Seminar
Will Adkisson
UIC
Hip To Be Square
Abstract: Square principles are one of the most prevalent examples of an anti-compactness property in set theory, appearing in many different contexts. Using them as our guide, we will embark on a tour of combinatorial set theory, introducing a number of different properties and describing they interact with square. In particular we will discuss stationary reflection, Godel's constructible universe L, various large cardinals, and the tree property. We will also mention how to obtain square via forcing.
Thursday September 7, 2023 at 4:00 PM in 427 SEO