BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//UIC
BEGIN:VEVENT
UID:2023040111204920230404T16000020230404T1650006428bc5121514@uic.edu
CATEGORIES:MEETING
STATUS:TENTATIVE
DTSTAMP:20230401T061828
DTSTART:20230404T160000
DTEND:20230404T165000
SUMMARY:Logic Seminar: The tree property up to $\aleph_{\omega^2+2}$, by Dima Sinapova
DESCRIPTION:Dima Sinapova (Rutgers University): The tree property up to $\aleph_{\omega^2+2}$ The tree property is an uncountable analogue of Konig's infinity lemma. At a cardinal $\kappa$, it states that every tree of height $\kappa$ and levels of size less than $\kappa$ has a cofinal branch. At $\aleph_1$ the tree property fails, and at $\aleph_2$ the tree property is equiconsistent with a weakly compact cardinal (Mitchell; Silver, 1972). Going further, in 1983 Abraham showed the tree property can hold simultaneously at $\aleph_2$ and $\aleph_3$, using a much stronger large cardinal hypothesis -- a supercompact cardinal. Since then, it has been a long standing project in set theory to obtain the tree property simultaneously at large intervals of regular cardinals. The ultimate goal being to force the tree property at every regular cardinal greater than $\aleph_1$. By a theorem of Specker a positive answer would require many failures of SCH. We show that from large cardinals, we can force the tree property at every regular cardinal in the interval $[\aleph_2, \aleph_{\omega^2}+2]$ with $\aleph_{\omega^2}$ a strong limit. This is joint work with Cummings, Hayut, Magidor, Neeman, and Unger. Please click here to make changes to, or delete, this seminar announcement. | Event post: https://mscs.uic.edu/events?page_id=5042600
LOCATION:636 SEO Chicago IL
CLASS:PRIVATE
END:VEVENT
END:VCALENDAR