Conjecture on the height of the derived cardinal

From papers

Let (V,Ω)(\mathcal{V},\Omega) be an excellent least branch hod pair with VZFC\mathcal{V}\models\mathsf{ZFC}, let δ\delta be a Woodin limit of Woodin cardinals in V\mathcal{V}, and let Q\mathcal{Q} and η\eta be as in the stated conclusion of the main result. Write δQ,η\delta^{\mathcal{Q},\eta}_{\infty} for the associated derived cardinal. Conjecture on δQ,η\delta^{\mathcal{Q},\eta}_{\infty}. The cardinal δQ,η\delta^{\mathcal{Q},\eta}_{\infty} is weakly inaccessible and greater than Θ\Theta in CDM+(Q,η)\mathsf{CDM}^+(\mathcal{Q},\eta). The main theorem establishes that this cardinal is at least Θ\Theta; under regularity assumptions on δ\delta, regularity is known, while weak inaccessibility strictly above Θ\Theta remains conjectural.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Takehiko Gappo, Sandra Müller and Grigor Sargsyan, “Chang models over derived models with supercompact measures”, arXiv:2307.08607 (2025).

Solutions 0

No solutions have been posted yet.