Chang models over derived models with supercompact measures

Takehiko Gappo, Sandra Müller, Grigor Sargsyan

Based on earlier work of the third author, we construct a Chang-type model with supercompact measures extending a derived model of a given hod mouse with a regular cardinal $\delta$ tha…