The inner mantle conjecture for limit ordinals

From papers

Let d702d702 be a limit ordinal, and let (Mα)αOrd(\mathrm{M}^{\alpha})_{\alpha\in\mathrm{Ord}} denote the sequence of inner mantles, with Mα\mathrm{M}^{\alpha} its stage at index α\alpha. Inner mantle conjecture. For any limit ordinal γ\gamma, it is consistent that the sequence of inner mantles does not stabilize before γ\gamma and that Mγ\mathrm{M}^{\gamma} is a definable inner model of ZF+¬AC\mathsf{ZF}+\neg\mathsf{AC}. 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

No solutions have been posted yet.