Lehrveranstaltungsprüfung
250138 VO Model Theory (2024W)
Labels
WANN?
Freitag
09.05.2025
An/Abmeldung
Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").
- Anmeldung von Mo 07.04.2025 00:00 bis Mi 07.05.2025 23:59
- Abmeldung bis Mi 07.05.2025 23:59
Prüfer*innen
Information
Prüfungsstoff
Review of structures, theories, ultraproducts, proof of the Compactness Theorem, and first applications of Compactness. Boolean algebras, types, saturation. Model completeness, quantifier elimination, and applications to algebraically closed and real closed fields. Other topics as time permits.
Art der Leistungskontrolle und erlaubte Hilfsmittel
Final exam on Thursday, January 30, 2025, 1:15-2:45 pm.
Letzte Änderung: Fr 27.12.2024 16:26