3/4 Introduction to categorical logic, classifying toposes and the 'bridge' technique
Appears in collection : Topos à l'IHES
Theories classified by a presheaf topos and their quotients. Finite presentability, irreducible formulae and homogeneous models.