Bonn Mathematical Logic Group

Advanced Mathematical Logic: Model Theory (V4A7)


Time and Date


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.

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

Last changed: 21. Juli 2017