03784nam 22008175 450 991030015620332120200701191933.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 ;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 ;2111Mathematical logicAlgebraMathematical analysisAnalysis (Mathematics)Number theoryMathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Algebrahttps://scigraph.springernature.com/ontologies/product-market-codes/M11000Analysishttps://scigraph.springernature.com/ontologies/product-market-codes/M12007Number Theoryhttps://scigraph.springernature.com/ontologies/product-market-codes/M25001Mathematical logic.Algebra.Mathematical analysis.Analysis (Mathematics).Number theory.Mathematical Logic and Foundations.Algebra.Analysis.Number Theory.511.3van den Dries Louauthttp://id.loc.gov/vocabulary/relators/aut61810Koenigsmann 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 Alex Jauthttp://id.loc.gov/vocabulary/relators/autMiAaPQMiAaPQMiAaPQBOOK9910300156203321Model Theory in Algebra, Analysis and Arithmetic2364189UNINA