000 03287nam a22005895i 4500
001 978-3-642-54936-6
003 DE-He213
005 20190213151342.0
007 cr nn 008mamaa
008 140920s2014 gw | s |||| 0|eng d
020 _a9783642549366
_9978-3-642-54936-6
024 7 _a10.1007/978-3-642-54936-6
_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
100 1 _aDries, Lou van den.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
245 1 0 _aModel Theory in Algebra, Analysis and Arithmetic
_h[electronic resource] :
_bCetraro, Italy 2012, Editors: H. Dugald Macpherson, Carlo Toffalori /
_cby Lou van den Dries, Jochen Koenigsmann, H. Dugald Macpherson, Anand Pillay, Carlo Toffalori, Alex J. Wilkie.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2014.
300 _aVII, 195 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aC.I.M.E. Foundation Subseries ;
_v2111
505 0 _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.
520 _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.
650 0 _aLogic, Symbolic and mathematical.
650 0 _aAlgebra.
650 0 _aGlobal analysis (Mathematics).
650 0 _aNumber theory.
650 1 4 _aMathematical Logic and Foundations.
_0http://scigraph.springernature.com/things/product-market-codes/M24005
650 2 4 _aAlgebra.
_0http://scigraph.springernature.com/things/product-market-codes/M11000
650 2 4 _aAnalysis.
_0http://scigraph.springernature.com/things/product-market-codes/M12007
650 2 4 _aNumber Theory.
_0http://scigraph.springernature.com/things/product-market-codes/M25001
700 1 _aKoenigsmann, Jochen.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
700 1 _aMacpherson, H. Dugald.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
700 1 _aPillay, Anand.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
700 1 _aToffalori, Carlo.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
700 1 _aWilkie, Alex J.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642549373
776 0 8 _iPrinted edition:
_z9783642549359
830 0 _aC.I.M.E. Foundation Subseries ;
_v2111
856 4 0 _uhttps://doi.org/10.1007/978-3-642-54936-6
912 _aZDB-2-SMA
912 _aZDB-2-LNM
999 _c10378
_d10378