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

DOI10.1007/S00153-018-0632-5arXiv1706.00843MaRDI QIDQ6287432FDOQ6287432

Authors: Victoria Gitman, Joel David Hamkins 

Publication date: 2 June 2017

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.

Mathematics Subject Classification ID

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

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)