Model Theory and Arithmetic : Comptes Rendus d'une Action Thématique Programmée du C.N.R.S. sur la Théorie des Modèles et l'Arithmétique, Paris, France, 1979/80
Enregistré dans:
| Auteur principal: | |
|---|---|
| Collectivité auteur: | |
| Autres auteurs: | , |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in mathematics
890 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Textes en anglais ou en français Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Model theory and arithmetic, comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80, ed. by C. Berline, K. McAloon, and J.-P. Ressayre, 1981, Berlin [etc.], Springer-Verlag, 1 vol. (VI-306 p.), Lecture notes in mathematics, 0-387-11159-X • Model Theory and Arithmetic, Texte imprimé, 9783662203590 |
Table des matières:
- 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 .