加载中…
We present a method which allows the combination of forcing uniformization on the - and the -side of the projective hierarchy to a certain extent. Using this method we construct a universe where -reduction holds, -uniformization fails, yet uniformization is true for . We also construct a universe where -uniformization holds and for every -uniformization holds, lowering best known upper bound for this statement from the existence of two Woodin cardinals to .

生成讲解博客的中文版本

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