Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
I asked the question from Prof. Woodin. The answer is yes, assuming the consistency of Axiom I0. It has appeared as Lemma 190 on page 198298 of Woodin's paper ``Suitable Extender Models I''.
I asked the question from Prof. Woodin. The answer is yes, assuming the consistency of Axiom I0. It has appeared as Lemma 190 on page 198 of Woodin's paper ``Suitable Extender Models I''.
I asked the question from Prof. Woodin. The answer is yes, assuming the consistency of Axiom I0. It has appeared as Lemma 190 on page 298 of Woodin's paper ``Suitable Extender Models I''.
I asked the question from Prof. Woodin. The answer is yes, assuming the consistency of Axiom I0. It has appeared as Lemma 190 on page 198 of Woodin's paper ``Suitable Extender Models I''.