Oxford Mathematical Logic Group

Notable current events:

Lecture on Zilber-Pink Problems (Tuesdays 10-12, SR2)

Notable past events:

Course on the Model Theory and Algebra of Valued Fields

Geometric Model Theory Conference, 25th-28th March 2010 in honour of Prof. Boris Zilber's (belated) 60th birthday.

The Mathematical Logic group is part of the Mathematical Institute at the University of Oxford. The main research interests of the group centre around geometric stability theory and the model theory of p-adic fields and diophantine geometry. The group is involved in ongoing efforts to relate the theory of Zariski geometries to noncommutative geometry and mathematical physics. The Analytic Topology group is part of the Logic Group.

The group is affiliated to MALOA, a Marie Curie Initial Training Network for Mathematical Logic and Applications. Past networks include MODNET, the European Research Training Network in Model theory, and to RAAG, the European Research Training Network on Real Algebraic and Analytic Geometry.

The logic group convenes for tea (or coffee) in the common room at 4pm each weekday. This daily event has become something of an institution.

We host the Examples in Model Theory wiki.