Book Review: Topos theory
Saunders Mac Lan · Bulletin of the American Mathematical Society · 1979
with the slow treatment of everything else.Now motivation My students always find logic exciting and perplexing (though I, personally, usually do not give them their first logic course!).When Mendelson's now classic text was published, Goodstein wrote in Mathematical Reviews (29 #2158) "Motivation [is] adequate"-damning by faint praise.The present book contains virtually nothing to link it with the rest of mathematics-or logic-for a couple of hundred pages.That is asking a lot of the reader unfamiliar with logic.For the reader who is a logician a note of warning.Many of the definitions are highly nonstandard.Thus the definition of elementary extension on p. 124, though technically equivalent to the (standard) one in, say, Chang-Keisler (1973), might cause some confusion as Lightstone allows constants in his formulae for all elements of the models.