1. Axiom of choice and complementation;Diaconescu;Proc. AMS,1975
2. Choice and well-ordering;Freyd;Ann. Pure Appl. Logic,1987
3. Numerology in topoi;Freyd;Th. App. Cat.,2006
4. Sketches of an Elephant: A Topos Theory Compendium;Johnstone,2002
5. Copower objects & their application to finiteness in topoi;Kenney;Th. App. Cat.,2006