The cofinality and Sealing conjecture for B\mathcal{B}^\infty

From papers

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

ηg=(ΘΓg)L(Γg,Rg).\eta^\infty_g=(\Theta_{\Gamma^\infty_g})^{L(\Gamma^\infty_g,\mathbb{R}_g)}.

Let B=L((η)ω,A)\mathcal{B}^\infty=L((\eta^\infty)^\omega,\mathcal{A}^\infty). Cofinality and Sealing conjecture.

cf(ηg)=ω.\operatorname{cf}(\eta^\infty_g)=\omega.

Moreover, the Sealing Theorem holds for B\mathcal{B}^\infty in V[g]V[g]. This conjecture seeks a stronger canonical determinacy model obtained from A\mathcal{A}^\infty; the source gives no resolution.

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, “Towards a generic absoluteness theorem for Chang models”, arXiv:2304.07623 (2025).

Solutions 0

No solutions have been posted yet.