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.
To
get a better impression of the area you could look through the books:
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: