Carlo Toffalori

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.

Il libro tratta di metodi di crittografia e sistemi, con particolare enfasi alla teoria dei numeri. Il libro è rivolto agli studenti universitari del nuovo ordinamento che debbano seguire un corso base di teoria dei numeri e crittografia. Il volume è impostato in modo chiaro e sistematico, in modo da rendere facilmente accessibile la materia agli studenti di matematica e informatica, fornendo peraltro parecchie descrizioni di applicazioni computazionali. Non mancano tuttavia accenni storici alla crittografia e alla complessità computazionale.

Since its birth, Model Theory has been developing a number of methods and concepts that have their intrinsic relevance, but also provide fruitful and notable applications in various fields of Mathematics. It is a lively and fertile research area which deserves the attention of the mathematical world. This volume: -is easily accessible to young people and mathematicians unfamiliar with logic; -gives a terse historical picture of Model Theory; -introduces the latest developments in the area; -provides 'hands-on' proofs of elimination of quantifiers, elimination of imaginaries and other relevant matters. A Guide to Classical and Modern Model Theory is for trainees and professional model theorists, mathematicians working in Algebra and Geometry and young people with a basic knowledge of logic.