The Model-Theoretic Ordinal Analysis of Theories of Predicative Strength

Avigad, Jeremy; Sommer, Richard

J. Symbolic Logic, Tome 64 (1999) no. 1, p. 327-349 / Harvested from Project Euclid

Résumé

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

Publié le : 1999-03-14
Classification:

@article{1183745709,
     author = {Avigad, Jeremy and Sommer, Richard},
     title = {The Model-Theoretic Ordinal Analysis of Theories of Predicative Strength},
     journal = {J. Symbolic Logic},
     volume = {64},
     number = {1},
     year = {1999},
     pages = { 327-349},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183745709}
}

Avigad, Jeremy; Sommer, Richard. The Model-Theoretic Ordinal Analysis of Theories of Predicative Strength. J. Symbolic Logic, Tome 64 (1999) no. 1, pp.  327-349. http://gdmltest.u-ga.fr/item/1183745709/