Algorithmische Modelltheorie: Vorlesung (Mo, 09.12.2019)

Anmeldung erforderlich

RWTH

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

Anmelden
  • Einbetten

Kapitel:

00:04:12
sorgfältigere Erklärung der Stage Comparison Formel
00:15:13
Satz (Stage Comparison in posLFP)
00:24:13
Satz (LFP ≡ IFP)
00:30:00
Definition (Simultane Induktionen S-LFP)
00:47:51
Beispiel (S-LFP)
00:58:20
Definition (Partielle Fixpunktlogik PFP)
01:05:56
Beispiel / Komplexität von PFP