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''.
Mohammad Golshani
- 32.1k
- 2
- 99
- 198