Relating First-order Set Theories and Elementary Toposes

Steven Awodey, Carsten Butz, Alex Simpson, Thomas Streicher. Relating First-order Set Theories and Elementary Toposes. Bulletin of Symbolic Logic, 13(3):340-358, 2007. [doi]

Authors

Steven Awodey

This author has not been identified. Look up 'Steven Awodey' in Google

Carsten Butz

This author has not been identified. Look up 'Carsten Butz' in Google

Alex Simpson

This author has not been identified. It may be one of the following persons: Look up 'Alex Simpson' in Google

Thomas Streicher

This author has not been identified. Look up 'Thomas Streicher' in Google