|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISALENTO991002948599707536 |
|
|
Titolo |
Model theory in algebra, analysis and arithmetic : Cetraro, Italy 2012 / Lou van den Dries, H. Dugald Macpherson, Carlo Toffalori |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Heidelberg [Germany] : Springer, c2014 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Lecture notes in mathematics, 1617-9692 ; 2111 |
|
|
|
|
|
|
Classificazione |
|
AMS 03-06 |
AMS 03C10 |
AMS 03C45 |
AMS 03C60 |
LC QA9.7 |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
Dries, Lou : van denauthor |
Macpherson, Dugald |
Toffalori, Carlo |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Model theory |
Number theory |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
On cover and on tit. page: Fondazione CIME |
|
|
|
|
|
|
Nota di contenuto |
|
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 |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
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 |
|
|
|
|
|
|
|