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 / / edited by C. Berline, K. McAloon and J.-P. Ressayre
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
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 / / edited by C. Berline, K. McAloon and J.-P. Ressayre
|
| Pubblicazione: | Berlin : , : Springer-Verlag, , [1981] |
| ©1981 | |
| Edizione: | 1st ed. 1981. |
| Descrizione fisica: | 1 online resource (VI, 306 p.) |
| Disciplina: | 511.34 |
| Soggetto topico: | Model theory |
| Persona (resp. second.): | C. Berline |
| McAloonKenneth | |
| RessayreJ.-P. | |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di contenuto: | 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 . |
| Titolo autorizzato: | Model theory and arithmetic |
| ISBN: | 3-540-38629-7 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996466496903316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture notes in mathematics (Springer-Verlag) ; ; 890.