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
|
|