Дмитро, can you expand a bit on how you prove that every ℵα+ω is measurable in the HOD of L[Card] and why the sequence of the ℵα+ns is Prikry generic, assuming there is a sharp for an inner model with a proper class of measurable cardinals? Thanks, Ralf.
Ralf Schindler
- 1.8k
- 20
- 17