Lightface $\Sigma^1_2$-indescribable cardinals
Logic
2022-09-20 v1
Abstract
-absoluteness for ccc forcing means that for any ccc forcing , . " inaccessible to reals" means that for any real , . To measure the exact consistency strength of "-absoluteness for ccc forcing and is inaccessible to reals", we introduce a weak version of a weakly compact cardinal, namely, a (lightface) -indescribable cardinal; has this property exactly if it is inaccessible and .
Keywords
Cite
@article{arxiv.2209.08693,
title = {Lightface $\Sigma^1_2$-indescribable cardinals},
author = {David Schrittesser},
journal= {arXiv preprint arXiv:2209.08693},
year = {2022}
}