Mathematische Logik II

Semester:	Wintersemester 2023/24
Veranstalter:	Prof. Grädel
Bemerkungen:

Videos

- Einführung Mengenlehre
- Gehalten von Prof. Grädel
- Di, 10.10.2023, 12:30 Uhr
- Stufen und Geschichten I
- Gehalten von Prof. Grädel
- Mo, 16.10.2023, 10:30 Uhr
- Stufen und Geschichten II
- Gehalten von Prof. Grädel
- Di, 17.10.2023, 12:30 Uhr
- Stufen und Geschichten III
- Gehalten von Prof. Grädel
- Mo, 23.10.2023, 10:30 Uhr
- Ordinalzahlen
- Gehalten von Prof. Grädel
- Di, 24.10.2023, 12:30 Uhr
- Der Rekursionssatz
- Gehalten von Prof. Grädel
- Mo, 30.10.2023, 10:30 Uhr
- Cantor-Normalform und Wohlordnungssatz
- Gehalten von Prof. Grädel
- Di, 31.10.2023, 12:30 Uhr
- Auswahlaxiom und Banach-Tarski
- Gehalten von Prof. Grädel
- Mo, 06.11.2023, 10:30 Uhr
- Leider gibt es aufgrund von technischen Problemen für die erste Hälfte nur Kameraton. Nach der Tafelwischpause ist der Ton wieder in der gewohnten Qualität.
- Jeder Vektorraum hat eine Basis
- Banach-Tarski
- Hausdorff-Paradoxon
- Satz von Hausdorff
- Gehalten von Sophie Brinke
- Mo, 13.11.2023, 10:30 Uhr
- Mächtigkeiten und Kardinalzahlen
- Gehalten von János Arpasi
- Di, 14.11.2023, 12:30 Uhr
- Mo, 20.11.2023, 10:30 Uhr
- Vorlesung fällt aus
- Satz von Hessenberg
- Gehalten von Lovro Mrkonjić
- Di, 21.11.2023, 12:30 Uhr
- Gödelsche Unvollständigkeitssätze
- Gehalten von Prof. Grädel
- Mo, 27.11.2023, 10:30 Uhr
- Gehalten von Prof. Grädel
- Di, 28.11.2023, 12:30 Uhr
- Modelltheorie
- Gehalten von Prof. Grädel
- Mo, 04.12.2023, 10:30 Uhr
- Tarski-Vaught-Test und Amalgamationssatz
- Gehalten von Prof. Grädel
- Di, 05.12.2023, 12:30 Uhr
- Gehalten von Prof. Grädel
- Mo, 11.12.2023, 10:30 Uhr
- Ehrenfeucht-Fraïssé-Spiele
- Gehalten von Prof. Grädel
- Di, 12.12.2023, 12:30 Uhr
- Leider waren einige Störgeräusche auf der Tonaufnahme. Diese wurden bestmöglich entfernt. Trotzdem ist das Video bei der Verwendung von Kopfhörern mit Vorsicht zu genießen.
- Lokale Isomorphismen
- Ehrenfeucht-Fraïssé-Spiele
- Hin- und Her-Systeme
- Nicht-Axiomatisierbarkeit von WO
- Gehalten von Prof. Grädel
- Mo, 18.12.2023, 10:30 Uhr
- Leider waren so viele Störgeräusche auf der Tonaufnahme des Mikrofons, dass diese nicht mehr zu retten war. Deshalb gibt es dieses Video nur Raumton.
- Nicht-Axiomatisierbarkeit von WO
- Fixpunktlogik
- Gehalten von Prof. Grädel
- Di, 19.12.2023, 12:30 Uhr
- Arithmetische Fixpunktlogik
- Gehalten von Prof. Grädel
- Mo, 08.01.2024, 10:30 Uhr
- µ-Kalkül
- Gehalten von Prof. Grädel
- Di, 09.01.2024, 12:30 Uhr
- CTL und PDL
- Gehalten von Prof. Grädel
- Mo, 15.01.2024, 10:30 Uhr
- LFP
- Gehalten von Prof. Grädel
- Di, 16.01.2024, 12:30 Uhr
- IFP und PFP
- Gehalten von Prof. Grädel
- Mo, 22.01.2024, 10:30 Uhr
- IFP
- Einbettung von LFP, IFP und PFP
- Gehalten von Prof. Grädel
- Di, 23.01.2024, 12:30 Uhr
- EF-Spiele
- Mo, 29.01.2024, 10:30 Uhr
- Vorlesung findet nicht statt
- Di, 30.01.2024, 12:30 Uhr
- Vorlesung findet nicht statt