2. April 2018
|
Ostermontag / Easter Monday
|
9. April 2018
|
Sören Berger
|
The modal logic of Abelian groups
|
|
Dienstag
10. April 2018
17:00 HS 4
|
Yurii Khomskii
|
Habilitationsvortrag im Rahmen des Kolloquiums für Reine Mathematik
Definability and the Structure of the Real Line
|
|
16. April 2018
|
kein Seminar
|
23. April 2018
|
kein Seminar
|
Donnerstag
26. April 2018
14:15–17:45 Geom 415
|
ACH 2018: Amsterdam-Cambridge-Hamburg Logic Master's Thesis Days
|
Freitag
27. April 2018
11:00–15:00 Geom 415
|
30. April 2018
|
kein Seminar
|
7. Mai 2018 |
Robert Paßmann
|
Heyting structures: Loyalty, faithfulness and an application to the
de Jongh property
|
abstract
|
14. Mai 2018
|
Nathan Bowler
|
Minimal β-models of TST
|
|
21. Mai 2018
|
Pfingstferien / Pentacostal break
|
28. Mai 2018
|
Yurii Khomskii
|
Symbiosis and Upwards Reflection Principles, Part I
|
|
4. Juni 2018
|
Yurii Khomskii
|
Symbiosis and Upwards Reflection Principles, Part II
|
|
11. Juni 2018 |
Keith Weber
|
Δ1 Infinite Time Turing Machines
|
|
Dienstag
12. Juni 2018
14-16 Geom 430 |
Colin Rittberg &
Fenner Tanswell
|
Epistemic Injustice in Mathematics
|
|
18. Juni 2018
|
Katie McCallum
|
Materials and Practices in Mathematical Communication: An Artist's
Ethnography of Research Mathematics
|
|
25. Juni 2018
|
Lucas Wansner
|
Kategoriebasen
|
|
2. Juli 2018 |
kein Seminar
|
9. Juli 2018 |
Keith Weber
|
More on Σ1 ITTMs
|
|
16. Juli 2018
|
Thilo Weinert
|
Cardinal Characteristics and Partition Properties
|
|