LEADER 03112nam 2200601 450 001 996466496903316 005 20220303123728.0 010 $a3-540-38629-7 024 7 $a10.1007/BFb0095651 035 $a(CKB)1000000000437913 035 $a(SSID)ssj0000324887 035 $a(PQKBManifestationID)12079269 035 $a(PQKBTitleCode)TC0000324887 035 $a(PQKBWorkID)10319563 035 $a(PQKB)11769562 035 $a(DE-He213)978-3-540-38629-2 035 $a(MiAaPQ)EBC5592482 035 $a(Au-PeEL)EBL5592482 035 $a(OCoLC)1066189673 035 $a(MiAaPQ)EBC6842796 035 $a(Au-PeEL)EBL6842796 035 $a(OCoLC)1292359358 035 $a(PPN)155228390 035 $a(EXLCZ)991000000000437913 100 $a20220303d1981 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aModel theory and arithmetic $ecomptes rendus d'une action the?matique programme?e du C.N.R.S. sur la the?orie des mode?les et l'arithme?tique, Paris, France, 1979/80 /$fedited by C. Berline, K. McAloon and J.-P. Ressayre 205 $a1st ed. 1981. 210 1$aBerlin :$cSpringer-Verlag,$d[1981] 210 4$d©1981 215 $a1 online resource (VI, 306 p.) 225 1 $aLecture notes in mathematics ;$v890 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-11159-X 327 $aModels 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 . 410 0$aLecture notes in mathematics (Springer-Verlag) ;$v890. 606 $aModel theory 615 0$aModel theory. 676 $a511.34 702 $aC. Berline 702 $aMcAloon$b Kenneth 702 $aRessayre$b J.-P. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466496903316 996 $aModel theory and arithmetic$9262490 997 $aUNISA