Skip to main content
2 of 2
edited body
Mohammad Golshani
  • 32.1k
  • 2
  • 99
  • 198

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