Model Theory and Arithmetic: Comptes Rendus d'une Action Thématique Programmée du C.N.R.S. sur la Théorie des Modèles et l'Arithmétique, Paris, France, 1979/80

Models of Peano Arithmetic....Pages 1-12
Cuts in Models of Arithmetic....Pages 13-20
Two notes on the Paris independence result....Pages 21-24
The ordinal height of a density....Pages 25-31
Ideaux des anneaux de Peano (d'apres Cherlin)....Pages 32-43
Theorie elementaire de la multiplication des entiers naturels....Pages 44-89
La representation en termes de faisceaux des modeles de la theorie elementaire de la multiplication des entiers naturels....Pages 91-110
Note on a nullstellensatz....Pages 111-114
Anti-Basis theorems and their relation to independence results in Peano arithmetic....Pages 115-133
A note on Decidable Model theory....Pages 134-142
Interprétations d'Arithmétiques dans des groupes et des treillis....Pages 143-153
Les methodes de Kieby-Paris et la théorie des ensembles....Pages 154-184
The laws of exponentiation....Pages 185-197
Le théorème de MATIYASSÉVITCH et résultats connexes....Pages 198-241
Borne superieure de la complexite de la theorie de ℕ muni de la relation de divisibilite....Pages 242-250
Some conservation results for fragments of arithmetic....Pages 251-262
Partition properties and definable types in Peano Arithmetic....Pages 263-269
De la structure additive a la saturation des modeles de Peano et a une classification des sous-langages de l'Arithmetique....Pages 270-296
On discretely ordered rings in which every definable ideal is principal....Pages 297-303
An observation concerning the relationship between finite and infinitary ∑ 1 1 ....Pages 304-306