Mathematische Logik: Vorlesung 19

Mathematische Logik: Vorlesung 19 (Do, 06.07.2017)

Für RWTH-Angehörige und aus dem RWTH-Netz verfügbar

Anmelden

4.3 Der Beweis des Vollständigkeitssatzes
4.4 Der Kompaktheitssatz, Axiomatisierbarkeit und Größe von
Modellen

00:00:00	4.4 Der Kompaktheitssatz, Axiomatisierbarkeit und Größe von Modellen
00:06:03	Satz von Löwenheim-Skolem
00:10:08	Kompaktheitssatz der Prädikatenlogik
00:18:00	Anwendungen des Kompaktheitssatzes
00:40:52	Aufsteigender Satz von Löwenheim-Skolem