Date of Original Version
1997
Type
Article
Published In
Journal of Symbolic Logic, 64 (1): 327-349, 1999.
Abstract or Table of Contents
We use model-theoretic methods described in [3] to obtain ordinal analyses of a number of theories of first- and second-order arithmetic.