A Model-Theoretic Approach to Ordinal Analysis

Avigad, Jeremy; Sommer, Richard

Bull. Symbolic Logic, Tome 3 (1997) no. 1, p. 17-52 / Harvested from Project Euclid

Résumé

We describe a model-theoretic approach to ordinal analysis via the finite combinatorial notion of an α-large set of natural numbers. In contrast to syntactic approaches that use cut elimination, this approach involves constructing finite sets of numbers with combinatorial properties that, in nonstandard instances, give rise to models of the theory being analyzed. This method is applied to obtain ordinal analyses of a number of interesting subsystems of first- and second-order arithmetic.

Publié le : 1997-03-14
Classification:

@article{1182353487,
     author = {Avigad, Jeremy and Sommer, Richard},
     title = {A Model-Theoretic Approach to Ordinal Analysis},
     journal = {Bull. Symbolic Logic},
     volume = {3},
     number = {1},
     year = {1997},
     pages = { 17-52},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1182353487}
}

Avigad, Jeremy; Sommer, Richard. A Model-Theoretic Approach to Ordinal Analysis. Bull. Symbolic Logic, Tome 3 (1997) no. 1, pp.  17-52. http://gdmltest.u-ga.fr/item/1182353487/