x
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 | ISBN 9783540386292

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. Ressayre
Mitwirkende
Herausgegeben vonC. Berline
Herausgegeben vonK. McAloon
Herausgegeben vonJ.-P. Ressayre
Buchcover Model Theory and Arithmetic  | EAN 9783540386292 | ISBN 3-540-38629-7 | ISBN 978-3-540-38629-2

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. Ressayre
Mitwirkende
Herausgegeben vonC. Berline
Herausgegeben vonK. McAloon
Herausgegeben vonJ.-P. Ressayre

Inhaltsverzeichnis

  • 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.