BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//UIC
BEGIN:VEVENT
UID:2021102503173020211026T16000020211026T165000617621ca67e34@uic.edu
CATEGORIES:MEETING
STATUS:TENTATIVE
DTSTAMP:20211024T091802
DTSTART:20211026T160000
DTEND:20211026T165000
SUMMARY:Logic Seminar: Compactness/Reflection and Rigidity in Set Theory, by Thomas Gilton
DESCRIPTION:Thomas Gilton (University of Pittsburgh ): Compactness/Reflection and Rigidity in Set Theory A broad question guiding much contemporary research in set theory is the extent to which the set-theoretic universe resembles certain "inner models" such as Gödel's constructible universe L. One way of cashing out this resemblance is the extent to which certain Rigidity principles, such as Jensen's square principles, hold in the model of interest. Many of these rigidity principles imply the failure of other combinatorial principles of interest, ones which exhibit a sizable amount of "reflection" or "compactness," and of which the Tree Property and Stationary Reflection are examples. We thus have two classes of interesting combinatorial principles (rigidity on the one hand, and compactness/reflection on the other), instances of which are often inconsistent. Given this tension, a fruitful line of contemporary research investigates when instances from these classes are jointly consistent. In this talk, we will discuss a joint result of the speaker with Omer Ben-Neria which contributes to the study of this tension; our result is that Club Stationary Reflection is consistent with the Special Aronszajn Tree Property on \omega_2. After briefly surveying "rigidity and compactness", we will discuss the main obstacles to obtaining our result, focusing on how the above-mentioned tension arises. Then we outline the main tools for overcoming these problems, namely, our notions of posets which are Strongly Proper or Completely Proper with respect to the weakly compact filter. As time permits, we will also discuss our new preservation theorems for stationary sets and Aronszjan trees. Please click here to make changes to, or delete, this seminar announcement.
LOCATION:636 SEO Chicago IL
CLASS:PRIVATE
END:VEVENT
END:VCALENDAR