Your browser is unsupported

We recommend using the latest version of IE11, Edge, Chrome, Firefox or Safari.

Apr 4 2023

Logic Seminar: The tree property up to $\aleph_{\omega^2+2}$, by Dima Sinapova

April 4, 2023

4:00 PM - 4:50 PM


636 SEO


Chicago, IL

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.


Tom Benhamou

Date posted

Apr 1, 2023

Date updated

Apr 1, 2023


Dima Sinapova | (Rutgers University)