Princeton University Library Catalog

ON THE EQUICONSISTENCY OF ZFC AND ETCS WITH REPLACEMENT

Author/​Artist:
Morgan, Peyton Keith [Browse]
Format:
Senior thesis
Language:
English
Advisor(s):
Halvorson, Hans [Browse]
Contributor(s):
Burgess, John [Browse]
Department:
Princeton University. Department of Mathematics [Browse]
Class year:
2015
Description:
22 pages
Summary note:
Discussions of the elementary theory of the category of sets (ETCS) often take for granted its ’equivalence’ with a form of conventional axiomatic set theory. The persuasiveness of such evocations of ’equivalence’ are complicated by their frequent omission of an axiom schema of replacement, even as their attendant expositions claim that the inclusion of replacement is generally unproblematic. Few sources test this assertion. In this expository paper, we articulate an axiom schema of replacement, R, within a categorical setting and prove the equiconsistency of ETCS + R and ZFC.