Showing 1–1 of 1 results for author: Solberg, H R

Categorical large cardinals and the tension between categoricity and set-theoretic reflection

Authors: Joel David Hamkins, Hans Robin Solberg

Abstract: Inspired by Zermelo's quasi-categoricity result characterizing the models of second-order Zermelo-Fraenkel set theory $\text{ZFC}_2$, we investigate when those models are fully categorical, characterized by the addition to $\text{ZFC}_2$ either of a first-order sentence, a first-order theory, a second-order sentence or a second-order theory. Thus we mount an analysis of the categorical large cardi… ▽ More Inspired by Zermelo's quasi-categoricity result characterizing the models of second-order Zermelo-Fraenkel set theory $\text{ZFC}_2$, we investigate when those models are fully categorical, characterized by the addition to $\text{ZFC}_2$ either of a first-order sentence, a first-order theory, a second-order sentence or a second-order theory. Thus we mount an analysis of the categorical large cardinals. This mathematical analysis leads naturally to philosophical issues concerning structuralism and realism, including especially the tension between categoricity and reflection. Ultimately we identify grounds for the preference of noncategoricity in one's foundations. △ Less

Submitted 24 March, 2022; v1 submitted 15 September, 2020; originally announced September 2020.

Comments: 34 pages. Revised version includes results on the supremum of the categorical cardinals and other topics, and more extended philosophical discussion. Commentary about this article can be made on the first author's web page at http://jdh.hamkins.org/categorical-large-cardinals