Conjecture on the height of the derived cardinal
Let be an excellent least branch hod pair with , let be a Woodin limit of Woodin cardinals in , and let and be as in the stated conclusion of the main result. Write for the associated derived cardinal. Conjecture on . The cardinal is weakly inaccessible and greater than in . The main theorem establishes that this cardinal is at least ; under regularity assumptions on , regularity is known, while weak inaccessibility strictly above 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
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.