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

About 3 years old · traced to

Suppose κ\kappa is a supercompact cardinal and there is a proper class of inaccessible limits of Woodin cardinals. Let g⊆Col⁡(ω,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.

References

Primary source

Sandra Müller and Grigor Sargsyan, “Towards a generic absoluteness theorem for Chang models”, arXiv:2304.07623 (2025).

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.