English

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 δ\delta that is both a limit of Woodin cardinals and a limit of <δ{<}\delta-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 ADR+Θ\mathsf{AD}_{\mathbb{R}} + \Theta is regular + ω1\omega_1 is <δ{<}\delta_{\infty}-supercompact for some regular cardinal δ>Θ\delta_{\infty}>\Theta. This complements Woodin's generalized Chang model, which satisfies ADR+ω1\mathsf{AD}_{\mathbb{R}}+\omega_1 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

R2 v1 2026-06-28T11:32:39.598Z