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