bokomslag Model Theory and Arithmetic
Vetenskap & teknik

Model Theory and Arithmetic

C Berline K Mcaloon J-P Ressayre

Pocket

789:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-11 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 306 sidor
  • 1981
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.- Interprtions d'Arithmques dans des groupes et des treillis.- Les methodes de Kieby-Paris et la thie des ensembles.- The laws of exponentiation.- Le th de MATIYASSITCH et rltats 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 .

  • Författare: C Berline, K Mcaloon, J-P Ressayre
  • Format: Pocket/Paperback
  • ISBN: 9783540111597
  • Språk: Engelska
  • Antal sidor: 306
  • Utgivningsdatum: 1981-11-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K