The consistency of non-CH in the second-order constructible universe with Woodin cardinals
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.
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
Sign in to submit a solution.
No solutions have been posted yet.