Jeremy Avigad Richard Sommer The Model-Theoretic Ordinal Analysis of Theories of Predicative Strength. 327-349 1999 64 J. Symb. Log. 1 db/journals/jsyml/jsyml64.html#AvigadS99