03459nam 22007935 450 991030015620332120260812171855.03-642-54936-510.1007/978-3-642-54936-6(CKB)3710000000249641(SSID)ssj0001354211(PQKBManifestationID)11764814(PQKBTitleCode)TC0001354211(PQKBWorkID)11322705(PQKB)11390751(DE-He213)978-3-642-54936-6(MiAaPQ)EBC6284980(MiAaPQ)EBC5577409(Au-PeEL)EBL5577409(OCoLC)894582222(PPN)18135148X(EXLCZ)99371000000024964120140920d2014 u| 0engurnn|008mamaatxtccrModel Theory in Algebra, Analysis and Arithmetic Cetraro, Italy 2012, Editors: H. Dugald Macpherson, Carlo Toffalori /by Lou van den Dries, Jochen Koenigsmann, H. Dugald Macpherson, Anand Pillay, Carlo Toffalori, Alex J. Wilkie1st ed. 2014.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2014.1 online resource (VII, 195 p.) C.I.M.E. Foundation Subseries,2946-1820 ;2111Bibliographic Level Mode of Issuance: Monograph3-642-54935-7 Includes bibliographical references.Some 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.Presenting 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.C.I.M.E. Foundation Subseries,2946-1820 ;2111Logic, Symbolic and mathematicalAlgebraMathematical analysisNumber theoryMathematical Logic and FoundationsAlgebraAnalysisNumber TheoryLogic, Symbolic and mathematical.Algebra.Mathematical analysis.Number theory.Mathematical Logic and Foundations.Algebra.Analysis.Number Theory.511.3Van den Dries Louauthttp://id.loc.gov/vocabulary/relators/aut0Koenigsmann Jochenauthttp://id.loc.gov/vocabulary/relators/autMacpherson H. Dugaldauthttp://id.loc.gov/vocabulary/relators/autPillay Anandauthttp://id.loc.gov/vocabulary/relators/autToffalori Carloauthttp://id.loc.gov/vocabulary/relators/autWilkie A. J(Alec J.),authttp://id.loc.gov/vocabulary/relators/autMiAaPQMiAaPQMiAaPQBOOK9910300156203321Model Theory in Algebra, Analysis and Arithmetic2364189UNINA