The consistency of non-CH in the second-order constructible universe with Woodin cardinals
Let denote the inner model obtained from second-order definability over , let denote the continuum hypothesis, and let denote the relevant inner model with Woodin cardinals. Consistency conjecture. For every , is consistent with Woodin cardinals, assuming the existence of . 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.