1. Théorie des topos et cohomologie étale des schémas;Artin,1972
2. Two closed categories of filters;Blass;Fund. Math.,1977
3. Basic Category Theory, Handbook of Categorical Algebra I;Borceux,1994
4. Saturated models of intuitionistic theories;Butz;Ann. Pure Appl. Logic,2004
5. Model Theory;Chang,1990