Course Exam

250138 VO Model Theory (2024W)

6.00 ECTS (4.00 SWS), SPL 25 - Mathematik

ON-SITE

WHEN?

Thursday 30.01.2025 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01

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 30.12.2024 00:00 to Tu 28.01.2025 23:59
Deregistration possible until Tu 28.01.2025 23:59

Examiners

Matthias Aschenbrenner

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: Th 10.10.2024 10:26