The consistency of non-CH in the second-order constructible universe with Woodin cardinals

About 1 year old · traced to

Let C2(α9ω)C^2(\alpha9\omega) denote the inner model obtained from second-order definability over α9ω\alpha9\omega, let CH\text{CH} denote the continuum hypothesis, and let MnM_n denote the relevant inner model with nn Woodin cardinals. Consistency conjecture. For every nn, (egCH)C2(α9omega)( eg\text{CH})^{C^2(\alpha9omega)} is consistent with nn Woodin cardinals, assuming the existence of MnM_n. This concerns the consistency strength of failures of the continuum hypothesis inside the second-order constructible universe; the supplied text gives no resolution status.

References

Primary source

Menachem Magidor and Jouko Väänänen, “New inner models from second order logics”, arXiv:2508.17672 (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.