Dilatorial characterization conjecture for beta-models of strong systems

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:DILWOF_{\!_{\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.

Sources & referencesView supporting material

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.