A model of the generic Vop\v{e}nka principle in which the ordinals are not Mahlo

DOI10.1007/S00153-018-0632-5MaRDI QIDQ6287432arXivFDO

Authors Victoria Gitman, Joel David Hamkins

Publication date 2 June 2017

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55)

Abstract: The generic Vopv{e}nka principle, we prove, is relatively consistent with the ordinals being non-Mahlo. Similarly, the generic Vopv{e}nka scheme is relatively consistent with the ordinals being definably non-Mahlo. Indeed, the generic Vopv{e}nka scheme is relatively consistent with the existence of a $Delt{a}_2$-definable class containing no regular cardinals. In such a model, there can be no $Sigm{a}_2$-reflecting cardinals and hence also no remarkable cardinals. This latter fact answers negatively a question of Bagaria, Gitman and Schindler.

This page was built for publication: A model of the generic Vop\v{e}nka principle in which the ordinals are not Mahlo

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