5 November 2020
18:00 GMT+1,
Zoom |
Luke Gardiner (Cambridge) |
Collapsing large cardinals to become \(\aleph_1\)
|
|
12 November 2020
18:00 GMT+1,
Zoom |
Tristan van der Vlugt |
Rearrangement and subseries numbers |
|
19 November 2020
18:00 GMT+1,
Zoom |
Lucas Wansner (Hamburg)
|
Computable Silver forcing
|
|
26 November 2020
18:00 GMT+1,
Zoom |
Han Xiao (Hamburg)
|
An idea of Inamdar on the modal logic of c.c.c. forcing, Part I
|
|
3 December 2020
18:00 GMT+1,
Zoom |
Han Xiao (Hamburg)
|
An idea of Inamdar on the modal logic of c.c.c. forcing, Part II
|
|
10 December 2020
18:00 GMT+1
|
No Seminar |
17 December 2020
18:00 GMT+1,
Zoom |
Yurii Khomskii (Amsterdam & Hamburg) |
Bounded Symbiosis and Upwards Reflection |
Abstract |
7 January 2021
18:00 GMT+1,
Zoom |
Robert Paßmann (Cambridge & Amsterdam)
|
Logical pluralism and meta-logic
|
|
14 January 2021
18:00 GMT+1
|
No Seminar |
21 January 2021
18:00 GMT+1,
Zoom |
Dominik Wehr (Amsterdam)
|
Aczel's Type-Theoretic
Interpretation of Constructive
Zermelo-Fraenkel Set Theory
|
|
28 January 2021
18:00 GMT+1,
Zoom |
Robert Paßmann (Cambridge & Amsterdam)
|
A categorical model for Heyting arithmetic
|
|
4 February 2021
18:00 GMT+1,
Zoom |
Luke Gardiner (Cambridge)
|
Infinite exponent partition relations on the reals, Part I |
|
11 February 2021
18:00 GMT+1,
Zoom |
Raiean Banerjee (Hamburg)
|
Regularity properties in iterations of length ℵ1
|
|
18 February 2021
18:00 GMT+1,
Zoom |
Luke Gardiner (Cambridge) |
Infinite exponent partition relations on the reals, Part II
|
|
25 February 2021
18:00 GMT+1,
Zoom |
Lucas Wansner (Hamburg) & Ned Wontner (Amsterdam)
|
Borel and projective pointclasses with no choice at all
|
slides
|
4 March 2021
18:00 GMT+1,
Zoom |
Robert Schütz (Amsterdam)
|
Multiverses with more than two modal logics of forcing, Part I
|
slides
|
11 March 2021
18:00 GMT+1
|
No Seminar |
18 March 2021
18:00 GMT+1,
Zoom |
Robert Schütz (Amsterdam)
David de Graaf (Amsterdam)
|
Multiverses with more than two modal logics of forcing, Part II
A partition calculus in set theory
|
|
25 March 2021
18:00 GMT+1,
Zoom |
Tristan van der Vlugt (Hamburg)
|
A higher counterpart to random forcing
|
slides
|