Verkauf durch Sack Fachmedien

Berline / Ressayre / McAloon

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, France, 1979/80

Medium: Buch
ISBN: 978-3-540-11159-7
Verlag: Springer Berlin Heidelberg
Erscheinungstermin: 01.11.1981
Lieferfrist: bis zu 10 Tage

Springer Book Archives


Produkteigenschaften


  • Artikelnummer: 9783540111597
  • Medium: Buch
  • ISBN: 978-3-540-11159-7
  • Verlag: Springer Berlin Heidelberg
  • Erscheinungstermin: 01.11.1981
  • Sprache(n): Englisch,Französisch
  • Auflage: 1981
  • Serie: Lecture Notes in Mathematics
  • Produktform: Kartoniert
  • Gewicht: 482 g
  • Seiten: 306
  • Format (B x H x T): 155 x 235 x 18 mm
  • Ausgabetyp: Kein, Unbekannt
Autoren/Hrsg.

Herausgeber

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.