(For new readers: in our math logic reading group, we are working through Maria Manzano’s Model Theory, as a warm-up exercise to tackling Hodges’s Shorter Model Theory.)
Writing logic books involves all kinds of comprises and trade-offs between approachability and absolute precision, between breadth and depth; and all kinds of decisions have to be made about coverage, the amount of more philosophical commentary that you give, and so on and so forth. It is, as I found writing my two logic books, a horribly difficult business making sensible decisions — which is not to say that there is just one way of getting them right. So I’m now pretty reluctant to get too critical (am I mellowing with age?). Still, I have to say that I’ve come to think that Manzano’s book really isn’t terribly good. I certainly wouldn’t recommend anyone following our example, and using the book. True, Manzano is not at all well served by her translator, but that’s only a small part of it: key ideas are far too often just not sufficiently well-motivated and clearly explained. Which is a pity because there are certainly some nice sections. But it is all too uneven in execution to be the helpful introductory guide we were looking for. Though it is certainly not obvious who, at this sort of level, we should have been reading instead.
I hereby bag the title Model Theory without Tears: A Philosophical Introduction for the book which my counterpart in some more or less close possible world is beginning to wonder about writing before the equally not-yet-started Ordinals, Cuts and Consistency. Choices, choices.