We present an LL-like construction that produces the minimal model of ADR+ADR+“ΘΘ is regular”. In fact, our construction can produce any model of AD++ADR+V=L(P(R))AD++ADR+V=L(P(R)) in which there is no hod mouse with a measurable limit of Woodins.
生成讲解博客的中文版本
生成AI智能校验的中文版本