加载中…
-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 .

生成讲解博客的中文版本

生成AI智能校验的中文版本