"A model-theoretic approach to ordinal analysis."

Jeremy Avigad, Richard Sommer (1997)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics