Lehrveranstaltungsprüfung
250119 VO Model theory (2021W)
Labels
GEMISCHT
WANN?
Montag
31.01.2022
Prüfer*innen
Information
Prüfungsstoff
Review of structures, theories, ultraproducts, proof of the Compactness Theorem. Quantifier elimination, model completeness. Types, saturation, omitting types. Totally transcendental theories, strong minimality, Morley's Theorem. Other topics as time permits.
Art der Leistungskontrolle und erlaubte Hilfsmittel
Grades will be based on homework sets assigned over the course of the semester.
Letzte Änderung: Mo 28.02.2022 10:30