Mathematische Logik II

Semester:	Wintersemester 2020/21
Veranstalter:	Prof. Grädel
Bemerkungen:	Aufzeichnung wird stattfinden. Webseite der Veranstaltung Vorlesung ist NICHT BESUCHBAR, nur digital.

Videos

- Vorlesung
- Mo, 02.11.2020, 12:30 Uhr
- Vorlesung
- Mi, 04.11.2020, 10:30 Uhr
- Geschichten
- Vorlesung
- Mo, 09.11.2020, 12:30 Uhr
- Vorlesung
- Mi, 11.11.2020, 10:30 Uhr
- Vorlesung
- Mo, 16.11.2020, 12:30 Uhr
- Vorlesung
- Mi, 18.11.2020, 10:30 Uhr
- Vorlesung
- Mo, 23.11.2020, 12:30 Uhr
- Vorlesung
- Mi, 25.11.2020, 10:30 Uhr
- Vorlesung
- Mo, 30.11.2020, 12:30 Uhr
- Vorlesung
- Mi, 02.12.2020, 10:30 Uhr
- 2 Die Gödelschen Unvollständigkeitssätze
- Vorlesung
- Mo, 07.12.2020, 12:30 Uhr
- 2.2 Theorien
- Vorlesung
- Mi, 09.12.2020, 10:30 Uhr
- Vorlesung
- Mo, 14.12.2020, 12:30 Uhr
- 3.1 Erhaltungssätze
- Vorlesung
- Mi, 16.12.2020, 10:30 Uhr
- Vorlesung
- Mo, 11.01.2021, 12:30 Uhr
- Satz von Łoś–Tarski
- Vorlesung
- Mi, 13.01.2021, 10:30 Uhr
- 3.2 Infinitäre Logik und Ehrenfeucht-Fraïssé Spiele
- Vorlesung
- Mo, 18.01.2021, 12:30 Uhr
- Vorlesung
- Mi, 20.01.2021, 10:30 Uhr
- Nicht-Axiomatisierbarkeit von Wohlordnungen
- Vorlesung
- Mo, 25.01.2021, 12:30 Uhr
- Vorlesung
- Mi, 27.01.2021, 10:30 Uhr
- Vorlesung
- Mo, 01.02.2021, 12:30 Uhr
- Logiken mit simultanen Fixpunkten
- Vorlesung
- Mi, 03.02.2021, 10:30 Uhr
- 4.3 LFP
- Vorlesung
- Mo, 08.02.2021, 12:30 Uhr
- Inflationäre und partielle Fixpunktlogiken