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 |