We define a generic Vop\v{e}nka cardinal to be an inaccessible cardinal such that for every first-order language of cardinality less than and every set of -structures, if and every structure in has cardinality less than , then an elementary embedding between two structures in exists in some generic extension of . We investigate connections between generic Vop\v{e}nka cardinals in models of ZFC and the number and complexity of -Suslin sets of reals in models of ZF. In particular, we show that ZFC + (there is a generic Vop\v{e}nka cardinal) is equiconsistent with ZF + where is the pointclass of all -Suslin sets of reals, and also with ZF + + where is the least ordinal that is not a surjective image of the reals.

生成讲解博客的中文版本

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