The sound reflection hierarchy classification conjecture
The sound reflection hierarchy classification conjecture
For , let denote the th Turing jump, let be the stated base theory, and let -soundness have its usual meaning.
Sound reflection hierarchy classification conjecture. For every , both of the following hold: (1) there exists a -recursive sequence of -sound recursively enumerable extensions of such that, for each , proves the -soundness of ; and (2) there is no -recursive sequence of -sound recursively enumerable extensions of such that, for each , proves the -soundness of .
The source presents this as a hoped-for classification associated with a question about descending sequences in reflection hierarchies. The parser marks it open, and the source gives no resolution.
Sources & referencesView supporting material
Primary source
James Walsh, “On the hierarchy of natural theories”, arXiv:2106.05794 (2025).
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.