Ablauf:
|
Montag, 25. März 2019
11:00-13:00
| Grundlegende Techniken, Teil I
Marker, Model Theory, Kapitel 2
Taylan Ciftci, Ann-Kathrin Riewesell
|
Montag, 25. März 2019
14:00-16:00
| Grundlegende Techniken, Teil II
Marker, Model Theory, Kapitel 2
Taylan Ciftci, Ann-Kathrin Riewesell
|
Montag, 25. März 2019
16:00-18:00
| Quantorenelimination
Marker, Model Theory, Abschnitt 3.1
Raphael Grenz
|
Mittwoch, 27. März 2019
11:00-13:00
| Der Typenauslassungssatz
Marker, Model Theory, Abschnitte 4.1 & 4.2
Herr Kowalski
|
Mittwoch, 27. März 2019
14:00-16:00
| Ununterscheidbare
Marker, Model Theory, Abschnitte 5.1 & 5.2
Marcel Krüger
|
Mittwoch, 27. März 2019
16:00-18:00
| Banach-Mazur-Spiele
Lucas Wansner
|
|