Weakly remarkable cardinals, Erdős cardinals, and the generic Vopěnka principle
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ős cardinal. We give an application involving gVP, the generic Vopě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ős cardinals, extending results of Bagaria, Gitman, Hamkins, and Schindler.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2018
- DOI:
- 10.48550/arXiv.1807.02207
- arXiv:
- arXiv:1807.02207
- Bibcode:
- 2018arXiv180702207W
- Keywords:
-
- Mathematics - Logic
- E-Print:
- doi:10.1017/jsl.2018.76