The Model-Theoretic Ordinal Analysis of Theories of Predicative Strength
Jeremy Avigad and Richard Sommer
Source: J. Symbolic Logic Volume 64, Issue 1 (1999), 327-349.
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 $\Gamma_0$.
Full-text: Remote access
If you are a member of the ASL, log in to Euclid for access.
Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.
Permanent link to this document: http://projecteuclid.org/euclid.jsl/1183745709
JSTOR: links.jstor.org
Mathematical Reviews number (MathSciNet):
MR1683912
Zentralblatt MATH identifier:
0939.03066
