Algorithmische Modelltheorie: Vorlesung (Mo, 11.11.2019)

Anmeldung erforderlich

RWTH

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

Anmelden
  • Einbetten

Kapitel:

00:03:49
Beobachtung (LFP liegt in SO)
00:09:45
Satz (SO-HORN liegt in LFP)
00:29:59
Résumé (LFP vs. PTIME)
00:40:45
Definition (infinitäre Logiken)