Will Adkisson : Hip To Be Square

Posted by William Adkisson , part of the Louise Hay Logic Seminar.

At

Sept. 7, 2023, 4 p.m.

In

427 SEO

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.