Jonathan Kirby

JK head picture

Senior Lecturer in Mathematics, working in the School of Mathematics of the University of East Anglia.

An Invitation to Model Theory via Definable Sets

This book, aimed at undergraduate / Masters students, will be published by CUP. The focus on definable sets, often with examples from the real ordered field, means that it may be suitable also for people using model theory, such as in o-minimality, who want to get an idea of what is behind the applications. A working draft is available (updated 4th August 2017). I would appreciate any comments on the content.


Most of my papers and preprints are available on the arXiv, listed above. There is also a list with more details.

There are reviews of my publications on MathSciNet and on Zentralblatt. (You may need a subscription to view them.)

There is also a list on UEA's e-print server.

School of Mathematics
University of East Anglia, Norwich Research Park, Norwich, NR4 7TJ, UK
Tel: +44(0)1603 591436, Fax: +44(0)1603 593868
Email: jonathan.kirby _at_
Last updated .