1 April 2021
18:00 GMT+2,
Zoom |
Hrafn Oddson (Amsterdam)
|
Paradefinite Zermelo-Fraenkel Set Theory: a
Theory of Inconsistent and Incomplete Sets
|
|
8 April 2021
17:00 GMT+2,
Zoom |
Isabel Macenka & Allison Wang (Cambridge)
|
Determinacy of long games
|
slides
|
15 April 2021
17:00 GMT+2,
Zoom |
Tobias Stonier (Cambridge)
Emma Palmer (Cambridge)
|
Wadge determinacy and the semi-linear ordering principle
Reflection at large cardinals
|
|
22 April 2021
17:00 GMT+2,
Zoom |
Lucas Wansner (Hamburg)
|
Separating DC from ACω (the hard way)
|
|
29 April 2021
17:00 GMT+2,
Zoom |
No Seminar |
6 May 2021
17:00 GMT+2,
Zoom |
Han Xiao (Hamburg)
|
Medvedev's Logic is not finitely axiomatisable
(a proof by Maksimova, Shehtman, and Skvorcov)
|
Literature
slides
|
14 May 2021
17:00 GMT+2,
Zoom |
No Seminar:
2020/2021
Rouse Ball Lecture, Cambridge
Bjorn Poonen (MIT):
Undecidability in Number Theory
|
20 May 2021
17:00 GMT+2,
Zoom |
No Seminar |
27 May 2021
17:00 GMT+2,
Zoom |
David de Graaf (Amsterdam)
|
Negative stepping up results for partition relations
|
slides
|
3 June 2021
17:00 GMT+2,
Zoom |
Michel Gaspar (Hamburg)
|
Borel chromatic numbers as cardinal invariants, Part I
|
slides
|
10 June 2021
17:00 GMT+2,
Zoom |
Michel Gaspar (Hamburg)
|
Borel chromatic numbers as cardinal invariants, Part II
|
|
17 June 2021
17:00 GMT+2,
Zoom |
Raiean Banerjee (Hamburg)
|
Laver vs Silver |
|
24 June 2021
17:00 GMT+2,
Zoom |
No seminar.
|
1 July 2021
17:00 GMT+2,
Zoom |
Jonathan Osinski (Amsterdam)
|
Compactness Properties and Symbiosis
|
|
30 July 2021 8 July 2021
14:00 17:00 GMT+2,
Zoom |
Clara List (Amsterdam)
|
Project report: Forcing
|
|