Existence of pointclasses realizing intermediate least unreachable cardinals

About 3 years old · traced to

Let λ\lambda be a cardinal with δ41≤λ≤δ61\bf{\delta^1_4}\leq\lambda\leq\bf{\delta^1_6}, and suppose cof⁡(λ)>ω\operatorname{cof}(\lambda)>\omega. A cardinal is Γ\bf{\Gamma}-unreachable when there is no sequence of distinct Γ\bf{\Gamma}-sets of length that cardinal. Intermediate-unreachability conjecture. There is a pointclass Γ\bf{\Gamma} such that λ\lambda is the least Γ\bf{\Gamma}-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.