Mathematische Logik: Vorlesung 17 (Do, 29.06.2017)
Zur Veranstaltungsseite

Anmeldung erforderlich

Benutzername/Passwort

RWTH

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

Anmelden
  • Einbetten

Beschreibung:

4.3 Der Beweis des Vollständigkeitssatzes

Kapitel:

00:00:00
4.3 Beweis des Vollständigkeitssatzes
00:02:06
4.3 Der Beweis des Vollständigkeitssatzes
00:09:13
Herbrandstrukturen
00:18:58
Quotientenstrukturen
00:34:00
Abgeschlossenheit unter Substitution
00:40:14
Kanonisches Modell von Sigma