"The Model-Theoretic Ordinal Analysis of Theories of Predicative Strength."

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