Model theory in algebra, analysis and arithmetic [e-book]: Cetraro, Italy 2012 / Lou van den Dries, H. Dugald Macpherson, Carlo Toffalori, editors
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Model theory in algebra, analysis and arithmetic [e-book]: Cetraro, Italy 2012 / Lou van den Dries, H. Dugald Macpherson, Carlo Toffalori, editors
|
| Pubblicazione: | Heidelberg [Germany] : Springer, 2014 |
| Descrizione fisica: | 1 online resource (vii, 195 pages) |
| Disciplina: | 511.34 |
| Soggetto topico: | Model theory |
| Number theory | |
| Classificazione: | AMS 03-06 |
| AMS 03C10 | |
| AMS 03C45 | |
| AMS 03C60 | |
| LC QA9.7 | |
| Altri autori: |
Dries, Lou : van denauthor
Macpherson, Dugald
Toffalori, Carlo
|
| 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 |
| ISBN: | 9783642549366 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 991002948539707536 |
| Lo trovi qui: | Univ. del Salento |
| Localizzazioni e accesso elettronico | http://link.springer.com/book/10.1007%2F978-3-642-54936-6 |
| Opac: | Controlla la disponibilitĂ qui |
Serie:
Lecture Notes in Mathematics, 1617-9692 ; 2111
Altra ed. diverso supporto:
Printed edition: 9783642549359
Fa parte di:
Springer eBooks