LEADER 03784nam  22008175  450 
001 9910300156203321
005 20200701191933.0
010   $a3-642-54936-5
024 7 $a10.1007/978-3-642-54936-6
035   $a(CKB)3710000000249641
035   $a(SSID)ssj0001354211
035   $a(PQKBManifestationID)11764814
035   $a(PQKBTitleCode)TC0001354211
035   $a(PQKBWorkID)11322705
035   $a(PQKB)11390751
035   $a(DE-He213)978-3-642-54936-6
035   $a(MiAaPQ)EBC6284980
035   $a(MiAaPQ)EBC5577409
035   $a(Au-PeEL)EBL5577409
035   $a(OCoLC)894582222
035   $a(PPN)18135148X
035   $a(EXLCZ)993710000000249641
100   $a20140920d2014      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aModel Theory in Algebra, Analysis and Arithmetic $eCetraro, Italy 2012, Editors: H. Dugald Macpherson, Carlo Toffalori /$fby Lou van den Dries, Jochen Koenigsmann, H. Dugald Macpherson, Anand Pillay, Carlo Toffalori, Alex J. Wilkie
205   $a1st ed. 2014.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2014.
215   $a1 online resource (VII, 195 p.) 
225 1 $aC.I.M.E. Foundation Subseries ;$v2111
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-54935-7 
320   $aIncludes bibliographical references.
327   $aSome themes around first order theories without the independence property -- Lectures on the model theory of real and complex exponentiation -- Lectures on the model theory of valued fields -- Undecidability in number theory.
330   $aPresenting recent developments and applications, the book focuses on four main topics in current model theory: 1) the model theory of valued fields; 2) undecidability in arithmetic; 3) NIP theories; and 4) the model theory of real and complex exponentiation. Young researchers in model theory will particularly benefit from the book, as will more senior researchers in other branches of mathematics.
410  0$aC.I.M.E. Foundation Subseries ;$v2111
606   $aMathematical logic
606   $aAlgebra
606   $aMathematical analysis
606   $aAnalysis (Mathematics)
606   $aNumber theory
606   $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005
606   $aAlgebra$3https://scigraph.springernature.com/ontologies/product-market-codes/M11000
606   $aAnalysis$3https://scigraph.springernature.com/ontologies/product-market-codes/M12007
606   $aNumber Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/M25001
615  0$aMathematical logic.
615  0$aAlgebra.
615  0$aMathematical analysis.
615  0$aAnalysis (Mathematics).
615  0$aNumber theory.
615 14$aMathematical Logic and Foundations.
615 24$aAlgebra.
615 24$aAnalysis.
615 24$aNumber Theory.
676   $a511.3
700   $avan den Dries$b Lou$4aut$4http://id.loc.gov/vocabulary/relators/aut$061810
702   $aKoenigsmann$b Jochen$4aut$4http://id.loc.gov/vocabulary/relators/aut
702   $aMacpherson$b H. Dugald$4aut$4http://id.loc.gov/vocabulary/relators/aut
702   $aPillay$b Anand$4aut$4http://id.loc.gov/vocabulary/relators/aut
702   $aToffalori$b Carlo$4aut$4http://id.loc.gov/vocabulary/relators/aut
702   $aWilkie$b Alex J$4aut$4http://id.loc.gov/vocabulary/relators/aut
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910300156203321
996   $aModel Theory in Algebra, Analysis and Arithmetic$92364189
997   $aUNINA