Model Theory and Arithmetic
Springer Berlin (Verlag)
978-3-540-11159-7 (ISBN)
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 .
| Erscheint lt. Verlag | 1.11.1981 |
|---|---|
| Reihe/Serie | Lecture Notes in Mathematics |
| Zusatzinfo | VI, 306 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 445 g |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| Schlagworte | arithmetic • Finite • Modell (Math. Logik) • multiplication • ordinal • Peanosche Arithmetik • Theorem |
| ISBN-10 | 3-540-11159-X / 354011159X |
| ISBN-13 | 978-3-540-11159-7 / 9783540111597 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
