Characterization conjecture for Σ21\Sigma^1_2-altitude

Let RR be a Σ21\Sigma^1_2-singleton real. Let AltΣ21(R)\mathsf{Alt}_{\Sigma^1_2}(R) denote its Σ21\Sigma^1_2-altitude, and consider transitive models MM of ATR0set\mathsf{ATR}_0^{\mathsf{set}} in which RR is a Σ1\Sigma_1-definable class in the language of set theory.

Σ21\Sigma^1_2-altitude characterization conjecture. AltΣ21(R)\mathsf{Alt}_{\Sigma^1_2}(R) is equal to the least height of such a transitive model MM.

The Σ21\Sigma^1_2-altitude ranks Σ21\Sigma^1_2-singleton reals and arises as a byproduct of the main result. The source suggests this as a possible recursion-theoretic or set-theoretic characterization and gives no evidence of a resolution.

Sources & referencesView supporting material

Primary source

Hanul Jeon, “Proof-theoretic dilator and intermediate pointclasses”, arXiv:2501.11220 (2026).

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.