Makkai, Michael; Reyes, Gonzalo E. First order categorical logic. Model-theoretical methods in the theory of topoi and related categories. (English) Zbl 0357.18002 Lecture Notes in Mathematics. 611. Berlin-Heidelberg-New York: Springer-Verlag. VIII, 301 p. (1977). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 15 ReviewsCited in 78 Documents MSC: 18A15 Foundations, relations to logic and deductive systems 03F55 Intuitionistic mathematics 03C99 Model theory 03G25 Other algebras related to logic 14F20 Étale and other Grothendieck topologies and (co)homologies 03C75 Other infinitary logic 18F10 Grothendieck topologies and Grothendieck topoi 18F20 Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) PDF BibTeX XML OpenURL