Algorithmische Modelltheorie: Vorlesung (Mo, 13.05.2024)
Zur Veranstaltungsseite

Anmeldung erforderlich

RWTH

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

Anmelden
  • Einbetten

Kapitel:

00:25:15
3.4 Infinitäre First-Order Logik
01:04:55
4 Ausdrucksstärke von FO auf endlichen Strukturen