English

Lightface $\Sigma^1_2$-indescribable cardinals

Logic 2022-09-20 v1

Abstract

Σ31\Sigma^1_3-absoluteness for ccc forcing means that for any ccc forcing PP, Hω1VΣ2Hω1VP{H_{\omega_1}}^V \prec_{\Sigma_2}{H_{\omega_1}}^{V^P}. "ω1\omega_1 inaccessible to reals" means that for any real rr, ω1L[r]<ω1{\omega_1}^{L[r]}<\omega_1. To measure the exact consistency strength of "Σ31\Sigma^1_3-absoluteness for ccc forcing and ω1\omega_1 is inaccessible to reals", we introduce a weak version of a weakly compact cardinal, namely, a (lightface) Σ21\Sigma^1_2-indescribable cardinal; κ\kappa has this property exactly if it is inaccessible and HκΣ2Hκ+H_\kappa \prec_{\Sigma_2} H_{\kappa^+}.

Keywords

Cite

@article{arxiv.2209.08693,
  title  = {Lightface $\Sigma^1_2$-indescribable cardinals},
  author = {David Schrittesser},
  journal= {arXiv preprint arXiv:2209.08693},
  year   = {2022}
}
R2 v1 2026-06-28T01:33:08.911Z