Kechris's second conjecture on projective unreachable cardinals

Let δ2n+21{\mathbf{\delta}}^1_{2n+2} denote the supremum of the lengths of Δ2n+21{\mathbf{\Delta}}^1_{2n+2} pre-well-orderings of R{\mathbb{R}}. Assume ZF+AD+DC{\sf{ZF+AD+DC}}. Kechris's second conjecture. Then δ2n+21{\mathbf{\delta}}^1_{2n+2} is Σ2n+21{\mathbf{\Sigma}}^1_{2n+2}-unreachable. The supplied context does not report a proof or disproof of this stronger conjecture, so its resolution remains open.

Sources & referencesView supporting material

Primary source

Grigor Sargsyan, “Hjorth's reflection argument”, arXiv:2105.06403 (2025).

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.