Logic Seminar

Hanul Jeon Cornell University
On proof-theoretic dilator and Pohlers' characteristic ordinals

Monday, November 24, 2025 - 2:55pm
Malott 205

The proof-theoretic ordinal (PTO) of a theory is a way to gauge the strength by looking at the supremum of provably well-founded recursive ordinals. There are two generalizations of the PTO: Pohlers isolated characteristic ordinals in his "On the Performance of Axiom Systems," which is the supremum of provably well-founded definable well-orders over a given Spector class. Meanwhile, Girard developed another invariant of a theory called proof-theoretic dilator that also yields PTO. In this talk, I will demonstrate proof-theoretic dilators are related to Pohlers' characteristic ordinals.