Info
Model theory in algebra, analysis and arithmetic [e-book]: Cetraro, Italy 2012 / Lou van den Dries, H. Dugald Macpherson, Carlo Toffalori, editors
| Model theory in algebra, analysis and arithmetic [e-book]: Cetraro, Italy 2012 / Lou van den Dries, H. Dugald Macpherson, Carlo Toffalori, editors |
| Pubbl/distr/stampa | Heidelberg [Germany] : Springer, 2014 |
| Descrizione fisica | 1 online resource (vii, 195 pages) |
| Disciplina | 511.34 |
| Altri autori (Persone) |
Dries, Lou : van denauthor
Macpherson, Dugald Toffalori, Carlo |
| Collana | Lecture Notes in Mathematics, 1617-9692 ; 2111 |
| Soggetto topico |
Model theory
Number theory |
| ISBN | 9783642549366 |
| Classificazione |
AMS 03-06
AMS 03C10 AMS 03C45 AMS 03C60 LC QA9.7 |
| 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. | UNISALENTO-991002948539707536 |
| Heidelberg [Germany] : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Model theory in algebra, analysis and arithmetic : Cetraro, Italy 2012 / Lou van den Dries, H. Dugald Macpherson, Carlo Toffalori
| 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 |
| Descrizione fisica | vii, 195 p. ; 24 cm |
| Disciplina | 511.34 |
| Altri autori (Persone) |
Dries, Lou : van denauthor
Macpherson, Dugald Toffalori, Carlo |
| Collana | Lecture notes in mathematics, 1617-9692 ; 2111 |
| Soggetto topico |
Model theory
Number theory |
| ISBN | 9783642549359 |
| Classificazione |
AMS 03-06
AMS 03C10 AMS 03C45 AMS 03C60 LC QA9.7 |
| 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. | UNISALENTO-991002948599707536 |
| Heidelberg [Germany] : Springer, c2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||