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