Homogeneous iteration and measure one covering relative to HOD

Relative to a hyperstrong cardinal, it is consistent that measure one covering fails relative to HOD. In fact it is consistent that there is a superstrong cardinal and for every regular cardinal , + is greater than + of HOD. The proof uses a very general lemma showing that homogeneity is preserved through certain reverse Easton iterations. Keywords HOD

• Type: Journal
• Year: 2008
• Where: AML
• Authors: Natasha Dobrinen, Sy D. Friedman
• Keywords: AML 2008, Hyperstrong Cardinal, Regular Cardinal, Superstrong Cardinal