Existence of pointclasses realizing intermediate least unreachable cardinals
Let be a cardinal with , and suppose . A cardinal is -unreachable when there is no sequence of distinct -sets of length that cardinal. Intermediate-unreachability conjecture. There is a pointclass such that is the least -unreachable cardinal. The source presents this as an open question about unreachability, although it also notes a theorem asserting the corresponding conclusion in the indicated interval under the stated cofinality condition.
References
Primary source
Derek Levinson, “Unreachability of Γ_2n+1,m”, arXiv:2312.00278 (2023).
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.