Course Exam

250138 VO Model Theory (2023W)

6.00 ECTS (4.00 SWS), SPL 25 - Mathematik

ON-SITE

WHEN?

Tuesday 30.01.2024 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 Fr 15.12.2023 00:00 to Su 28.01.2024 23:59
Deregistration possible until Su 28.01.2024 23:59

Examiners

Matthias Aschenbrenner

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

Final exam on Tuesday, January 30, 2024, 1:15-2:45 pm.

Last modified: Tu 12.12.2023 12:06