Mathematische Logik: Satz von Ehrenfeucht (Di, 25.06.2024)

Anmeldung erforderlich

Moodle

Für Teilnehmer der Veranstaltung verfügbar

Anmelden
  • Einbetten

Kapitel:

00:14:41
Quantorenrang
00:19:32
Satz von Ehrenfeucht
01:00:45
7.3 Nichtdefinierbarkeitsergebnisse für die Logik der 1. Stufe