Model Theory and Arithmetic

C. Berline

ISBN 10: 354011159X / ISBN 13: 9783540111597

Published by Springer Berlin Heidelberg Nov 1981, 1981

About this Item

This item is printed on demand - it takes 3-4 days longer - Neuware -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¿tions d'Arithm¿ques dans des groupes et des treillis.- Les methodes de Kieby-Paris et la th¿ie des ensembles.- The laws of exponentiation.- Le th¿¿ de MATIYASS¿ITCH et r¿ltats 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 . 316 pp. Englisch, Französisch.

Seller Inventory # 9783540111597

Bibliographic Details

• Title: Model Theory and Arithmetic
• Publisher: Springer Berlin Heidelberg Nov 1981
• Publication Date: 1981
• Language: English
• ISBN 10: 354011159X
• ISBN 13: 9783540111597
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 18D millimeters 235 millimeters width by 155 millimeters height by 18 millimeters depth
• Weight: 482 grams