Inner mantle non-stabilization conjecture
Let be a model of , and let denote the th inner mantle obtained by starting with , taking the mantle at successor stages, and intersecting the earlier inner mantles at limit stages. The sequence stabilizes at if for every . Inner mantle non-stabilization conjecture. Every model of is the of another model of in which the sequence of inner mantles does not stabilize. More generally, every model of is the of another model of , for any desired , in which the sequence of inner mantles does not stabilize before . This would show that models of set theory can have no outer core, and that stripping away forcing layers need not terminate after iterating through all ordinals; the conjecture leaves open whether the inner mantle process can be carried out uniformly through these stages.
References
Primary source
Gunter Fuchs, Joel David Hamkins and Jonas Reitz, “Set-Theoretic Geology”, arXiv:1107.4776 (2014).
Progress summary
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.