The Model-Theoretic Ordinal Analysis of Theories of Predicative Strength
journal contribution
posted on 1997-01-01, 00:00 authored by Jeremy AvigadJeremy Avigad, Richard SommerWe use model-theoretic methods described in [3] to obtain ordinal analyses of a number of theories of first- and second-order arithmetic.