Algorithmische Modelltheorie: Vorlesung (Mo, 04.11.2019)

Anmeldung erforderlich

RWTH

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

Anmelden
  • Einbetten

Kapitel:

00:07:21
Satz (Grädel)
00:23:09
3. LFP und infinitäre Logik
00:49:29
Fixpunkttheorie / Ordinale
01:03:29
Satz (Knaster & Tarski)
01:14:30
Satz (induktive Konstruktion)