We study pairs (V,V1)(V,V1) of models of ZFCZFC such that adding κκ-many random reals over V1V1 adds λλ-many random reals over VV, for some λ>κ.λ>κ.
生成讲解博客的中文版本
生成AI智能校验的中文版本