Course Exam
250138 VO Model Theory (2024W)
Labels
WHEN?
Monday
23.06.2025
Registration/Deregistration
Note: The time of your registration within the registration period has no effect on the allocation of places (no first come, first served).
- Registration is open from Mo 19.05.2025 00:00 to Sa 21.06.2025 23:59
- Deregistration possible until Sa 21.06.2025 23:59
Examiners
Information
Examination topics
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.
Assessment and permitted materials
Final exam on Thursday, January 30, 2025, 1:15-2:45 pm.
Last modified: Fr 27.12.2024 16:26