Bonn Mathematical Logic Group

Advanced Mathematical Logic: Model Theory (V4A7)


Time and Date

We ask that you get at least around 50% of the points in the exercises to be admitted to the final oral exam. It's ok to submit the solutions in groups of two, only if you cannot find a partner in groups of three.


Model theory studies classes of models of a first-order theory, for instance groups, fields and graphs, and their abstract properties. An example of such a property is categoricity in a cardinal - the condition that there is exactly one model of this size up to isomorphism. We will study various topics in model theory - possible topics include quantifier elimination, types, categorical theories, Morley’s theorem, stability theory. Model theory is strongly connected with and motivated by algebraic examples, which we will study in the lecture. The following lecture notes might contain mistakes.

Literature: Tent, Ziegler - A Course in Model Theory. Marker - Model theory: An Introduction.

Problem sheets


The oral exams will take place on Thursday 1.2. and Friday 2.2.2018. The second oral exams will take place on Monday 19.3. and Tuesday 20.3.2018.

Last changed: 03. November 2017