3/4 Introduction to categorical logic, classifying toposes and the 'bridge' technique
Theories classified by a presheaf topos and their quotients. Finite presentability, irreducible formulae and homogeneous models.
Theories classified by a presheaf topos and their quotients. Finite presentability, irreducible formulae and homogeneous models.
De Olivia Caramello
De Olivia Caramello
De Olivia Caramello
De Olivia Caramello
De Ingo Blechschmidt
De Jean Bénabou , Jean Bénabou
De Urs Schreiber
De Mike Prest
De Christopher Townsend
De G. F. Lima de Carvalho e Silva