Lehrveranstaltungsprüfung
250138 VO Model Theory (2024W)
Labels
WANN?
Montag
23.06.2025
An/Abmeldung
Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").
- Anmeldung von Mo 19.05.2025 00:00 bis Sa 21.06.2025 23:59
- Abmeldung bis Sa 21.06.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