1. Relating first-order set theories and elementary toposes;Awodey;Bull. Symb. Log.,2007
2. Categories of Sets and Models of Set Theory;Cole,1972
3. Tripos Models of Internal Set Theory;de Siqueira,2022
4. Axiom of choice and complementation;Diaconescu;Proc. Am. Math. Soc.,1975
5. Sheaf models for set theory;Fourman;J. Pure Appl. Algebra,1980