Mathematische Logik: Satz von Ehrenfeucht (Di, 25.06.2024)
Zur Veranstaltungsseite

Anmeldung erforderlich

Moodle

Für Teilnehmer der Veranstaltung verfügbar

Anmelden
  • Einbetten

Kapitel:

00:08:18
Wiederholung (Ende)
00:14:41
Quantorenrang
00:19:32
Satz von Ehrenfeucht
01:00:45
7.3 Nichtdefinierbarkeitsergebnisse für die Logik der 1. Stufe