The inner mantle non-definability conjecture for limit ordinals

About 8 years old · traced to

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.

References

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.

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.