Model Theory in Algebra, Analysis and Arithmetic
Dries, Lou van den.
Model Theory in Algebra, Analysis and Arithmetic Cetraro, Italy 2012, Editors: H. Dugald Macpherson, Carlo Toffalori / [electronic resource] : by Lou van den Dries, Jochen Koenigsmann, H. Dugald Macpherson, Anand Pillay, Carlo Toffalori, Alex J. Wilkie. - VII, 195 p. online resource. - C.I.M.E. Foundation Subseries ; 2111 . - C.I.M.E. Foundation Subseries ; 2111 .
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.
9783642549366
10.1007/978-3-642-54936-6 doi
Logic, Symbolic and mathematical.
Algebra.
Global analysis (Mathematics).
Number theory.
Mathematical Logic and Foundations.
Algebra.
Analysis.
Number Theory.
QA8.9-10.3
511.3
Model Theory in Algebra, Analysis and Arithmetic Cetraro, Italy 2012, Editors: H. Dugald Macpherson, Carlo Toffalori / [electronic resource] : by Lou van den Dries, Jochen Koenigsmann, H. Dugald Macpherson, Anand Pillay, Carlo Toffalori, Alex J. Wilkie. - VII, 195 p. online resource. - C.I.M.E. Foundation Subseries ; 2111 . - C.I.M.E. Foundation Subseries ; 2111 .
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.
9783642549366
10.1007/978-3-642-54936-6 doi
Logic, Symbolic and mathematical.
Algebra.
Global analysis (Mathematics).
Number theory.
Mathematical Logic and Foundations.
Algebra.
Analysis.
Number Theory.
QA8.9-10.3
511.3