Characterization conjecture for -altitude
Characterization conjecture for -altitude
Let be a -singleton real. Let denote its -altitude, and consider transitive models of in which is a -definable class in the language of set theory.
-altitude characterization conjecture. is equal to the least height of such a transitive model .
The -altitude ranks -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
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.