Back to Search Start Over

Weakly remarkable cardinals, Erd\H{o}s cardinals, and the generic Vop\v{e}nka principle

Authors :
Wilson, Trevor M.
Publication Year :
2018

Abstract

We consider a weak version of Schindler's remarkable cardinals that may fail to be $\Sigma_2$-reflecting. We show that the $\Sigma_2$-reflecting weakly remarkable cardinals are exactly the remarkable cardinals, and we show that the existence of a non-$\Sigma_2$-reflecting weakly remarkable cardinal has higher consistency strength: it is equiconsistent with the existence of an $\omega$-Erd\H{o}s cardinal. We give an application involving gVP, the generic Vop\v{e}nka principle defined by Bagaria, Gitman, and Schindler. Namely, we show that gVP + "Ord is not $\Delta_2$-Mahlo" and $\text{gVP}({\bf\Pi}_1)$ + "there is no proper class of remarkable cardinals" are both equiconsistent with the existence of a proper class of $\omega$-Erd\H{o}s cardinals, extending results of Bagaria, Gitman, Hamkins, and Schindler.

Subjects

Subjects :
Mathematics - Logic

Details

Database :
arXiv
Publication Type :
Report
Accession number :
edsarx.1807.02207
Document Type :
Working Paper
Full Text :
https://doi.org/10.1017/jsl.2018.76