Unreachability below Δ31\bf{\Delta^1_3}

Let Γ\bf{\Gamma} be a pointclass, and let κ\kappa be Γ\bf{\Gamma}-reachable when there is a sequence of distinct Γ\bf{\Gamma}-sets of length κ\kappa; otherwise, κ\kappa is Γ\bf{\Gamma}-unreachable. Write Γ<wΔ31\bf{\Gamma}<_w\bf{\Delta^1_3} for the weak ordering of pointclasses used in the source. Unreachability conjecture. There is no pointclass Γ<wΔ31\bf{\Gamma}<_w\bf{\Delta^1_3} such that ω+1\aleph_{\omega+1} is Γ\bf{\Gamma}-reachable. The question is part of the paper's open problems on unreachability; analogous questions at higher projective levels are also left open.

Sources & referencesView supporting material

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.