Kechris's first conjecture on projective unreachable cardinals

From papers

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 first conjecture. Then δ2n+21{\mathbf{\delta}}^1_{2n+2} is Δ2n+21{\mathbf{\Delta}}^1_{2n+2}-unreachable. Jackson subsequently proved this conjecture, using his computation of the projective ordinals and the strong partition property of δ2n+11{\mathbf{\delta}}^1_{2n+1}, so the statement is solved.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.