Ebook: 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

---

Content:
Front Matter....Pages -
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

---

Content:
Front Matter....Pages -
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
....