We put together Woodin’s basis theorem of AD and Vopěnka’s theorem to conclude the following: If there is a proper class of Woodin cardinals, then every statement that is true in is true in . Moreover, this is true even if we allow a parameter such that and its complement have scales that are and universally Baire. We also investigate whether statements are upwards absolute from to under large cardinal hypotheses, observing that this is true if has a proper class of Woodin cardinals. Finally, we discuss absoluteness and conclude that this much absoluteness between and cannot be implied by any large cardinal axiom consistent with the axiom `` Ultimate ’'.

生成讲解博客的中文版本

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