The model-theoretic ordinal analysis of theories of predicative strength

Abstract

We use model-theoretic methods described in [3] to obtain ordinal analyses of a number of theories of first- and second-order arithmetic, whose proof-theoretic ordinals are less than or equal to Γ 0 .