The Chang-type uB-powerset sealing conjecture

From papers

Suppose κ\kappa is a supercompact cardinal and there is a proper class of inaccessible limits of Woodin cardinals. Suppose gCol(ω,22κ)g\subseteq {\operatorname{Col}}(\omega,2^{2^\kappa}) is VV-generic. Let

ηg=(ηuBg)L(uBg,Rg).\eta_g=(\eta_{{{\sf{uB}}}_g})^{L({{\sf{uB}}}_g,\mathbb{R}_g)}.

Then cf(ηg)=ω\operatorname{cf}(\eta_g)=\omega.

Chang-type uB-powerset sealing conjecture. Moreover, the Sealing\sf{Sealing} Theorem holds for CuBp\mathsf{C-uBp} in V[g]V[g].

Here CuBp=L(ηω,uBp)\mathsf{C-uBp}=L(\eta^\omega,{{\sf{uBp}}}) is the Chang-type uB{{\sf{uB}}}-powerset model. The statement is presented under strong large-cardinal hypotheses, and the source gives no explicit resolution status.

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

Sandra Müller and Grigor Sargsyan, “Gödel's Program in Set Theory”, arXiv:2412.07325 (2024).

Solutions 0

No solutions have been posted yet.