Forcing with models as side conditions, part 1

Seminar
Speaker
Ido Feldman (BIU)
Date
12/12/2023 - 16:00 - 14:00Add to Calendar 2023-12-12 14:00:00 2023-12-12 16:00:00 Forcing with models as side conditions, part 1 A decade ago, Neeman introduced a new method of forcing using two-type of models as side conditions. In 2015, Kuziljevic and Todor\'cevi\'c generalized Todor\'cevi\'c's   $\epsilon$-chain of elementary sub-models to a matrices of countable elementary sub-models which are used to force a $\diamond^+$ sequence and fast clubs on $\omega_1$. A year ago, Curial Gallart Rodr\'iguez was able to combine this two methods and thus introducing a two-type symmetric matrices. We will go through the paper of Curial and if time allows present some minor applications. Seminar room, second floor אוניברסיטת בר-אילן - המחלקה למתמטיקה mathoffice@math.biu.ac.il Asia/Jerusalem public
Place
Seminar room, second floor
Abstract

A decade ago, Neeman introduced a new method of forcing using two-type of models as side conditions. In 2015, Kuziljevic and Todor\'cevi\'c generalized Todor\'cevi\'c's   $\epsilon$-chain of elementary sub-models to a matrices of countable elementary sub-models which are used to force a $\diamond^+$ sequence and fast clubs on $\omega_1$. A year ago, Curial Gallart Rodr\'iguez was able to combine this two methods and thus introducing a two-type symmetric matrices.
We will go through the paper of Curial and if time allows present some minor applications.

תאריך עדכון אחרון : 11/12/2023