The Chang-type uB-powerset sealing conjecture
Suppose is a supercompact cardinal and there is a proper class of inaccessible limits of Woodin cardinals. Suppose is -generic. Let
Then .
Chang-type uB-powerset sealing conjecture. Moreover, the Theorem holds for in .
Here is the Chang-type -powerset model. The statement is presented under strong large-cardinal hypotheses, and the source gives no explicit resolution status.
References
Primary source
Sandra Müller and Grigor Sargsyan, “Gödel's Program in Set Theory”, arXiv:2412.07325 (2024).
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.