There are no announcements




This course is aimed at PhD students, not necessarily working in model theory, but working in areas potentially linked to model theory (e.g. other parts of logic, or parts of algebra, algebraic geometry, number theory, combinatorics). The first 5 lectures will introduce fundamental model-theoretic concepts. The second part of the course will explore various `tameness’ conditions on first order theories (e.g. concepts associated with model-theoretic stability theory and its extensions), with a focus on examples from algebra, especially fields (e.g. algebraically closed, real closed and p-adically closed fields, and pseudofinite fields). A goal will be to exhibit potentially applicable methods.


Spring 2020 (Monday, January 20 to Friday, March 27)


  • Live lecture hours: 10
  • Recorded lecture hours: 0
  • Total advised study hours: 40


  • Wed 10:05 - 10:55


Some familiarity with first order logic would be helpful but not essential.


Lectures 1—5: BASICS OF MODEL THEORY AND STABILITY THEORY: First order languages, structures and theories, compactness, types, saturation and homogeneity, quantifier elimination.
Lectures 6—10: TAME THEORIES, EXAMPLES, APPLICATIONS: uncountable categorical and strongly minimal theories; stable, o-minimal, simple, and NIP theories; model-theoretic notions of independence and dimension, and their interpretation in algebraically important structures (e.g. algebraically closed and real closed fields).


Vincenzo Mantova
Phone +44 (0)113 3438126
Photo of Vincenzo Mantova


Model theory: an introductionMarker
A course in model theory: an introduction to contemporary mathematical logicPoizat and Klein
Lecture notes in Model TheoryA. Pillay


Clicking on the link for a book will take you to the relevant Google Book Search page. You may be able to preview the book there. On the right hand side you will see links to places where you can buy the book. There is also link marked 'Find this book in a library'. This sometimes works well, but not always. (You will need to enter your location, but it will be saved after you do that for the first time.)


No assessment information is available yet.

No assignments have been set for this course.


No files have yet been uploaded for this course.

Recorded Lectures

Please log in to view lecture recordings.