Spencer Unger : The tree property

Posted by Tom Benhamou , part of the Logic Seminar.

At

Nov. 29, 2022, 4 p.m.

In

Zoom

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.