The inner mantle conjecture for limit ordinals
The inner mantle conjecture for limit ordinals
Let be a limit ordinal, and let denote the sequence of inner mantles, with its stage at index . Inner mantle conjecture. For any limit ordinal , it is consistent that the sequence of inner mantles does not stabilize before and that is a definable inner model of . This asks how far the sequence of inner mantles can continue to change while a limit-stage mantle remains definable and satisfies choice-free set theory; the source provides no resolution.
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
Kameryn J. Williams, “The ω-th inner mantle”, arXiv:2106.07812 (2021).
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.