Conjecture on the height of the derived cardinal

About 3 years old · traced to

Let (V,Ω)(\mathcal{V},\Omega) be an excellent least branch hod pair with V⊨ZFC\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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.