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
Başlık:
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
ISBN:
9783540386292
Edition:
1st ed. 1981.
Yayın Bilgileri:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1981.
Fiziksel Tanımlama:
VI, 306 p. online resource.
Series:
Lecture Notes in Mathematics, 890
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 -- 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 .
Ek Kurum Yazarı:
Dil:
English