
×
Model Theory and Arithmetic
Comptes rendus d'une action thematique programmee du C.N.R.S. sur la theorie des modeles et l'Arithmetique, Paris, Franc
herausgegeben von C. Berline, K. McAloon und J.-P. RessayreInhaltsverzeichnis
- Models of Peano Arithmetic.
- Cuts in Models of Arithmetic.
- Two notes on the Paris independence result.
- The ordinal height of a density.
- Ideaux des anneaux de Peano (d'apres Cherlin).
- Theorie elementaire de la multiplication des entiers naturels.
- La representation en termes de faisceaux des modeles de la theorie elementaire de la multiplication des entiers naturels.
- Note on a nullstellensatz.
- Anti-Basis theorems and their relation to independence results in Peano arithmetic.
- A note on Decidable Model theory.
- Interprétations d'Arithmétiques dans des groupes et des treillis.
- Les methodes de Kieby-Paris et la théorie des ensembles.
- The laws of exponentiation.
- Le théorème de MATIYASSÉVITCH et résultats connexes.
- Borne superieure de la complexite de la theorie de ? muni de la relation de divisibilite.
- Some conservation results for fragments of arithmetic.
- Partition properties and definable types in Peano Arithmetic.
- De la structure additive a la saturation des modeles de Peano et a une classification des sous-langages de l'Arithmetique.
- On discretely ordered rings in which every definable ideal is principal.
- An observation concerning the relationship between finite and infinitary ? 1 1.