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

Author(s)

Bibliographic Information

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

edited by C. Berline, K. McAloon, and J.-P. Ressayre

（Lecture notes in mathematics, 890）

Springer-Verlag, 1981

  • : Berlin
  • : New York

Available at  / 71 libraries

Search this Book/Journal

Note

English and French

Includes bibliographies

Description and Table of Contents

Table of Contents

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.- Interpretations d'Arithmetiques dans des groupes et des treillis.- Les methodes de Kieby-Paris et la theorie des ensembles.- The laws of exponentiation.- Le theoreme de MATIYASSEVITCH et resultats 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 .

by "Nielsen BookData"

Related Books： 1-1 of 1

Details

Page Top