ON THE EQUICONSISTENCY OF ZFC AND ETCS WITH REPLACEMENT

Author/​Artist
Morgan, Peyton Keith [Browse]
Format
Senior thesis
Language
English
Description
22 pages

Details

Advisor(s)
Halvorson, Hans [Browse]
Contributor(s)
Burgess, John [Browse]
Department
Princeton University. Department of Mathematics [Browse]
Class year
2015
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.

Supplementary Information