3 November 2021 
11:00-13:00 GMT+1, 
Zoom | 
Raiean Banerjee (Hamburg) | 
Laver forcing does not add Silver reals, Part 1: the
one-step case.
 | 
Handwritten notes
 | 
17 November 2021 
11:00-13:00 GMT+1, 
Zoom | 
Raiean Banerjee (Hamburg) | 
Laver forcing does not add Silver reals, 
Part 2: the
iteration case.
 | 
 | 
19 November 2021 
16:00-18:00 GMT+1,
Zoom | 
Robert Paßmann (Amsterdam) | 
On the logic of CZF
 | 
 | 
| 
26 November 2021 | 
No seminar.
 | 
3 December 2021 
16:00-18:00 GMT+1,
Zoom | 
Tristan van der Vlugt (Hamburg) | 
Slalom cardinals | 
Slides
 | 
| 
10 December 2021 | 
No seminar.
 | 
| 
17 December 2021 | 
| 
7 January 2022 | 
| 
14 January 2022 | 
| 
21 January 2022 | 
| 
28 January 2022 | 
4 February 2022
 
16:00-18:00 GMT+1,
Zoom | 
Lucas Wansner (Hamburg)
 | 
Cohen reals in computability theory
 | 
 | 
11 February 2022 
16:00-18:00 GMT+1,
Zoom | 
Deborah Kant (Hamburg)
 | 
An empirically informed
perspective on the set-theoretic independence problem, Part I
 | 
 | 
18 February 2022
 
16:00-18:00 GMT+1,
Zoom | 
Raiean Banerjee (Hamburg)
 | 
E0 vs Laver, Miller and Sacks
 | 
 | 
| 
25 February 2022 | 
No seminar.
 | 
| 
4 March 2022
 | 
Seminar cancelled.
 | 
| 
11 March 2022 | 
No seminar.
 | 
18 March 2022
 
16:00-18:00 GMT+1,
Zoom | 
Jonathan Osinski (Hamburg)
 | 
A Hierarchy of Compactness Cardinals below Vopěnka's Principle
 | 
Slides
 | 
25 March 2022 
16:00-18:00 GMT+1,
Zoom | 
Deborah Kant (Hamburg)
 | 
An empirically informed
perspective on the set-theoretic independence problem, Part II
 | 
 |