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.
References
Primary source
Kameryn J. Williams, “The ω-th inner mantle”, arXiv:2106.07812 (2021).
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.