Journal of Symbolic Logic

The Model-Theoretic Ordinal Analysis of Theories of Predicative Strength

Jeremy Avigad and Richard Sommer

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

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$.

Article information

Source
J. Symbolic Logic Volume 64, Issue 1 (1999), 327-349.

Dates
First available in Project Euclid: 6 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183745709

Mathematical Reviews number (MathSciNet)
MR1683912

Zentralblatt MATH identifier
0939.03066

JSTOR
links.jstor.org

Citation

Avigad, Jeremy; Sommer, Richard. The Model-Theoretic Ordinal Analysis of Theories of Predicative Strength. J. Symbolic Logic 64 (1999), no. 1, 327--349.https://projecteuclid.org/euclid.jsl/1183745709


Export citation