Course Exam

250138 VO Model Theory (2023W)

6.00 ECTS (4.00 SWS), SPL 25 - Mathematik

ON-SITE

WHEN?

Monday 04.03.2024 08:00 - 09:30 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 Th 01.02.2024 00:00 to Sa 02.03.2024 23:59
Deregistration possible until Sa 02.03.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