Conjecture on the height of the derived cardinal
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.
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
Sign in to submit a solution.
No solutions have been posted yet.