**Model theory **is a branch of mathematical logic which
investigates
properties of mathematical structures expressible in a formal (usually
first-order) language, and conversely investigates the expressive power
of formal languages by reference to what they can say about particular
mathematical
structures.
In recent years there has been a rich interplay between model
theory and algebra: methods developed in a purely model-theoretic
setting have been applied in areas such as group theory, number theory and
algebraic geometry and conversely algebraic questions and constructions have suggested new directions in model theory.

- Model Theory, Katrin Tent and Martin Ziegler, Cambridge University Press, 2012.
- Model Theory of Fields, D. Marker, M. Messmer, A. Pillay, Lecture Notes in Logic 5, Springer, 1996.
- Model Theory and Algebraic Geometry, ed. Elisabeth Bouscaren, Lecture Notes in Mathematics 1696, Springer, 1999.
- Model Theory: an Introduction, David Marker, Graduate Texts in Mathematics 217, Springer, 2002.
- A Course in Model Theory, Bruno Poizat, Universitext, Springer, 2000.
- Oligomorphic Permutation Groups, P. J. Cameron, Cambridge University Press, 1990.
- Automorphisms of First-Order Structures, eds. R. Kaye and D. Macpherson, Oxford University Press, 1994.
- Model Theory, W. A. Hodges, Cambridge University Press, 1993.
- A Shorter Model Theory, W. A. Hodges, Cambridge University Press, 1997.
- Model Theory of Groups and Automorphism Groups, ed. D. M. Evans, Cambridge University Press, 1997.

The research group in Mathematical Logic at UEA consists of:

- Members of Faculty:
- Research Fellows:
- Dr Charles Morgan

- Research Students in Model Theory:
- Tim Zander
- Thomas Coleman
- Robert Henderson

- Research students in Set Theory:
- Gregory McKay
- Francessco Piccoli

- Some past members of the group:
- Daniela Amato
- Oren Kolman
- Jo Emms
- Rima Al-Balushi
- Marco Ferreira
- Omar Selim
- Alex Primavesi
- Sharifa Al-Mahrouqi
- Moshe Kamensky
- Firoz Shaikh
- Mark Wong

Within model theory there are interests at UEA in:

- Stability theory and its generalisations (simple theories and beyond)
- Algebraic model theory
- Model theory of fields (particularly differential and difference fields)
- Hrushovski constructions
- Exponential algebra
- Universal models and set-theoretic aspects of model theory
- Applications to infinite permutation groups
- Abstract elementary classes

We run a semi-regular working seminar on Logic.

Other recent Model Theory activities at UEA include:

- MODNET: David Evans was the Coordinator of this CEC-funded Marie Curie Research Training Network in Model Theory and Applications.

- In July 2006, UEA hosted a Workshop in Pure Model Theory, funded by the EPSRC as a satellite workshop of the Isaac Newton Institute Programme Model Theory and Applications in Algebra and Anaysis.

Return to David Evans' home page

This page maintained by: