I very briefly noted Jonathan Kirby’s An Invitation to Model Theory (CUP, 2019) when it was published earlier in the year. I put it aside to look at later, and (I confess) forgot about it entirely when recently updating the TYL Study Guide! Belatedly, I have now dipped into quite a lot of this short book; how does it compare as a first introduction to model theory?
The aim of the book is described like this: “[T]raditional introductions to model theory assume a graduate-level background of the reader. In this innovative textbook, [the author] brings model theory to an undergraduate audience. The highlights of basic model theory are illustrated through examples from specific structures familiar from undergraduate mathematics ….” Now, one thing that usually isn’t familiar to undergraduate mathematicians is any serious logic: so, as you would expect, Kirby’s book is an introduction to model theory that doesn’t presuppose or seamlessly continue on from a first logic course. By contrast, in the TYL Guide, I suggest as a route into the area the long last chapter ‘Some use of compactness’ from Goldrei’s excellent logic text, and/or the more expansive but equally logic-based book by María Manzano.
The Invitation is divided into six parts, each comprising five or six short chapters (the main text of the book is only 176 pages long), with dependencies very well signalled — the book is a model of clear structuring. The first part ‘Languages and structures’ gives the logic-less student some basics about the ideas of a first-order language and interpretation in a structure, and then introduces the ideas of embeddings, substructures etc. The next part proves a compactness theorem and gives some first applications. Part III, ‘Changing models’ proves downward and upward Löwenheim-Skolem theorems, gives some applications, gives examples of theories which are countably categorical (or categorical in other cardinals), and in particular use the back-and-forth method to show that countable models of the theory of dense linear orders with endpoints are isomorphic. Part IV starts by proving some results about quantifier elimination …
And we are now about 100 pages into the book. Is this perhaps beginning to sound a bit action-packed? Manzano, for example, takes over 200 pages to get about as far. And I do suspect that for self-study Kirby’s book would make for tougher going for many students. Not that Kirby is unclear in what he does say; on the contrary, he writes beautifully clearly. But he could/should have said at least a little more. A few more classroom asides, a few extra illustrative examples of key concepts, etc. could have made a significant difference.
For example, Part V is on types; and surely the student reader would have welcomed more explanation and motivation for the introduction of the notion than they get in §23.1. An extra paragraph or two here would have helped a lot. And as this part of the book continues, the level of difficulty seems to me to ratchet up markedly. I would have thought that by the time we get to §26.3 on zero-stable theories, or to a sudden invocation of strongly inaccessible cardinals in §27.3, many student readers could be losing the plot. (It’s not that the relevant notions aren’t clearly defined: but the motivations and significance may well pass them by).
The book finishes with five short chapters on the model theory of fields, applying earlier techniques, and leading up to a proof of Hilbert’s Nullstellensatz: interesting for algebraists, and pointing forward towards an important area of model theory — but maybe more than the logic-oriented reader will want in a first introduction to model theory.
Overall, then, I will stick to the TYL recommendations: those such as the likely readers of this blog, coming from a logic background, should begin model theory in company with Goldrei and Manzano. Kirby’s book will then make for useful revision/re-inforcement material as necessary.