The inner mantle non-definability conjecture for limit ordinals

From papers

Let γ\gamma 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 non-definability 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} fails to be a definable class. This is a further proposed behavior for the transfinite sequence of inner mantles; the source gives no evidence that the conjecture has been resolved.

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).

Additional references

2 papers in this index state this conjecture (2018–2021). The statement above is taken from the most recent of them; the others are arXiv:1810.08702.

Solutions 0

No solutions have been posted yet.