20/21 LMS OLS MODEL THEORY: LMS Online Lecture Series - An Excursion Into Model Theory and Its Applications

Model Theory is a branch of mathematics in which structures (such as groups, fields, graphs, etc.) are studied from the perspective of mathematical logic. In recent years, developments in Model Theory have led to applications in other areas of mathematics such as Number Theory, Differential Algebra, Combinatorics, and Group Theory.

In the first six lectures of our excursion (by Ulla and Zaniar, 13 Oct–17 Nov), we will present the basics of model theory with a special focus on examples. The final four lectures (by all lecturers, 24 Nov–3 Dec) will focus on specialised research topics and applications of model theory. Although previous experience with predicate logic may be helpful, it won't be essential. The necessary logical tools will be introduced throughout the course.

All ten lectures will be given live over Zoom. The links will be posted here on Piazza and sent via email, and recordings will be made available after each session. Questions and exercises will be given during the lectures, and further discussion of the exercises and course topics will happen here on Piazza.

The course is organized by Charlotte Kestner (Imperial) for the South and East of England Model Theory Network (SEEMOD) and Vincenzo Mantova (Leeds) for the Lancashire Yorkshire Model Theory Newtwork (LYMoTS), and it is sponsored by the London Mathematical Society.