Program
In the table, you can find the recording of the talks and the slides of the speakers who decided to share.
Monday 29th August 2022
Tuesday 30th August 2022
Wednesday 31st August 2022
Time | Speacker | Talk | Place |
---|---|---|---|
09:00 - 10:00 | Joel David Hamkins | Set theory inside out: realizing every inner model theory in an end extension (Slides) (Record) | Cavallerizza |
10:00 - 11:00 | Yair Hayut | Prikry forcing without forcing (Slides) (Record) | Cavallerizza |
11:00 - 11:30 | | ||
11:30 - 12:30 | Grigor Sargsyan | Forcing Axioms, Inner Model and Determinacy (Slides) (Record) | Cavallerizza |
12:30 - 14:00 | Lunch Break | ||
14:00 - 18:30 | Social Afternoon | ||
|
Thursday 1st September 2022
Time | Speacker | Talk | Place |
---|---|---|---|
09:00 - 10:00 | Filippo Calderoni | Rotation equivalence and rigidity (Slides) (Record) | Cavallerizza |
10:00 - 11:00 | Grigor Sargsyan | Forcing Axioms, Inner Model and Determinacy (Slides) (Record) | Cavallerizza |
11:00 - 11:30 | | ||
11:30 - 12:30 | Sandra Müller | Universally Baire Sets and the Inner Model Program (Slides) (Record) | Cavallerizza |
12:30 - 14:00 | Lunch Break | ||
14:00 - 15:00 | Jeffrey Bergfalk | Colorings, subdivisions, and higher derived limits (Slides) (Record) | Cavallerizza |
15:00 - 16:00 | Chris Lambie-Hanson | Adding many Cohen reals (Slides) (Record) | Cavallerizza |
16:00 - 16:30 | | ||
16:30 - 17:00 | Giorgio Venturi | What model companionship can say about the Continuum Problem | Cavallerizza |
17:00 - 17:30 | Laura Fontanella | Realizability models for large cardinals (Record) | Cavallerizza |
17:30 - 18:00 | Rahman Mohammadpour | The Story Of A Theorem (Record) | Cavallerizza |
18:00 - 18:30 | Matteo Viale | A survey on forcing axioms (Record) | Cavallerizza |
|
Friday 2nd September 2022