Chang models over derived models with supercompact measures
Logic
2025-02-14 v2
Abstract
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 that is both a limit of Woodin cardinals and a limit of -strong cardinals. The existence of such a hod mouse is consistent relative to a Woodin cardinal that is a limit of Woodin cardinals. We argue that our Chang-type model satisfies is regular + is -supercompact for some regular cardinal . This complements Woodin's generalized Chang model, which satisfies is supercompact, assuming a proper class of Woodin cardinals that are limits of Woodin cardinals.
Cite
@article{arxiv.2307.08607,
title = {Chang models over derived models with supercompact measures},
author = {Takehiko Gappo and Sandra Müller and Grigor Sargsyan},
journal= {arXiv preprint arXiv:2307.08607},
year = {2025}
}
Comments
22 pages