000 03252nam a22004815i 4500
001 978-3-540-38629-2
003 DE-He213
005 20190213151744.0
007 cr nn 008mamaa
008 121227s1981 gw | s |||| 0|eng d
020 _a9783540386292
_9978-3-540-38629-2
024 7 _a10.1007/BFb0095651
_2doi
050 4 _aQA8.9-10.3
072 7 _aPBC
_2bicssc
072 7 _aMAT018000
_2bisacsh
072 7 _aPBC
_2thema
072 7 _aPBCD
_2thema
082 0 4 _a511.3
_223
245 1 0 _aModel Theory and Arithmetic
_h[electronic resource] :
_bComptes 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 /
_cedited by Chantal Berline, Kenneth McAloon, Jean-Pierre Ressayre.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c1981.
300 _aVI, 306 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Mathematics,
_x0075-8434 ;
_v890
505 0 _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 .
650 0 _aLogic, Symbolic and mathematical.
650 1 4 _aMathematical Logic and Foundations.
_0http://scigraph.springernature.com/things/product-market-codes/M24005
700 1 _aBerline, Chantal.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aMcAloon, Kenneth.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aRessayre, Jean-Pierre.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783662203590
776 0 8 _iPrinted edition:
_z9783540111597
830 0 _aLecture Notes in Mathematics,
_x0075-8434 ;
_v890
856 4 0 _uhttps://doi.org/10.1007/BFb0095651
912 _aZDB-2-SMA
912 _aZDB-2-LNM
912 _aZDB-2-BAE
999 _c11772
_d11772