Dilatorial characterization conjecture for beta-models of strong systems

At least 5 years old · documented by

Let TT be a strong system with an ordinal analysis based on ordinal representation systems OT\mathsf{OT}. These systems give rise to functors

F ⁣OT:DIL⟶WOF_{\!_{\mathsf{OT}}}:\mathsf{DIL}\longrightarrow\mathsf{WO}

that send dilators to ordinal representation systems. Dilatorial characterization conjecture. The assertion that F ⁣OTF_{\!_{\mathsf{OT}}} sends dilators to well-orderings is equivalent to the statement that every set is contained in a countably coded β\beta-model of TT. The claim is presented as a general conjecture extending the established characterization for β\beta-models of Π11\Pi^1_1-comprehension, but no proof or resolution is supplied.

References

Primary source

Michael Rathjen, “Well-Ordering Principles in Proof Theory and Reverse Mathematics”, arXiv:2010.12453 (2020).

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.