Model Theory in Algebra, Analysis and Arithmetic [[electronic resource] ] : 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. Wilkie |
Autore | van den Dries Lou |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (VII, 195 p.) |
Disciplina | 511.3 |
Collana | C.I.M.E. Foundation Subseries |
Soggetto topico |
Mathematical logic
Algebra Mathematical analysis Analysis (Mathematics) Number theory Mathematical Logic and Foundations Analysis Number Theory |
ISBN | 3-642-54936-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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. |
Record Nr. | UNISA-996215313403316 |
van den Dries Lou | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Model 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. Wilkie |
Autore | van den Dries Lou |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (VII, 195 p.) |
Disciplina | 511.3 |
Collana | C.I.M.E. Foundation Subseries |
Soggetto topico |
Mathematical logic
Algebra Mathematical analysis Analysis (Mathematics) Number theory Mathematical Logic and Foundations Analysis Number Theory |
ISBN | 3-642-54936-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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. |
Record Nr. | UNINA-9910300156203321 |
van den Dries Lou | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|