Logic Seminar
Spencer Unger
University of Toronto
The tree property
Abstract: Combining elements from a long line of research on the tree property, we aim to prove that it is consistent that every regular cardinal between aleph_2 and aleph_{omega^2+3} has the tree property while aleph_{omega^2} is strong limit. In this talk, I'll give some background and give a sampling of some of the many ideas that go into the proof along with their connections to other research. This is joint work in progress with James Cummings, Yair Hayut, Menachem Magidor, Itay Neeman and Dima Sinapova.
Tuesday November 29, 2022 at 4:00 PM in Zoom