Course Exam
250119 VO Model theory (2021W)
Labels
MIXED
WHEN?
Monday
31.01.2022
Examiners
Information
Examination topics
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.
Assessment and permitted materials
Grades will be based on homework sets assigned over the course of the semester.
Last modified: Mo 28.02.2022 10:30