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
| Other Authors: | , , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1981, 1981
|
| Edition: | 1st ed. 1981 |
| Series: | Lecture Notes in Mathematics
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of 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