It is shown, from hypotheses in the region of ω2ω2 Woodin cardinals, that there is a transitive model of KP + ADRR containing all reals.
生成讲解博客的中文版本
生成AI智能校验的中文版本