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
אוניברסיטת בר-אילן - Department of Mathematics
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.
Last Updated Date : 11/12/2023
