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

Anand Pillay (auth.), Chantal Berline, Kenneth McAloon, Jean-Pierre Ressayre (eds.)9783540111597, 354011159X

Table of contents :
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