Model theory is a branch of mathematical logic which deals with the relationship between formal logical languages (e.g. first order logic, or variants such as continuous logic) and mathematical objects (e.g. groups, or Banach spaces). It analyses mathematical structures through the properties of the category of its definable sets. Significant early applications of model theory include Tarski's decidability results in the 1920s (algebraically closed fields, real closed fields), and in the 1960s the well-known Ax-Kochen/Ershov results on the model theory of Henselian valued fields.
These last few years have seen an extremely rapid development of the powerful tools introduced for stable structures in a much larger context, that of “tame” structures. Our main themes for this programme aim to develop both the internal model theory of tame structures and their recent applications.