×

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).

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)