Identity crises between supercompactness and Vopenka's Principle

DOI10.1017/JSL.2020.32MaRDI QIDQ6319571arXivFDO

Authors Yair Hayut, Menachem Magidor, Alejandro Poveda

Publication date 29 May 2019

Published in arXiv

Full work available at URL https://doi.org/10.1017/JSL.2020.32

Mathematics Subject Classification ID

Continuum hypothesis and Martin's axiom (03E50) Generic absoluteness and forcing axioms (03E57) Set theory (03Exx)

arXiv classification

math.LO

Abstract: In this paper we study the notion of $C^{(n)}$-supercompactness introduced by Bagaria in cite{Bag} and prove the identity crises phenomenon for such class. Specifically, we show that consistently the least supercompact is strictly below the least $C^{(1)}$-supercompact but also that the least supercompact is $C^{(1)}$-supercompact (and even $C^{(n)}$-supercompact). Furthermore, we prove under suitable hypothesis that the ultimate identity crises is also possible. These results solve several questions posed by Bagaria and Tsaprounis.

This page was built for publication: Identity crises between supercompactness and Vopenka's Principle

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6319571)