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

From papers

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.

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

Menachem Magidor and Jouko Väänänen, “New inner models from second order logics”, arXiv:2508.17672 (2025).

Solutions 0

No solutions have been posted yet.