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


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)