Model Theory in Algebra, Analysis and Arithmetic Cetraro, Italy 2012, Editors: H. Dugald Macpherson, 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 pa...
| Published in: | Springer eBooks |
|---|---|
| Main Authors: | , , , , , |
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2014.
|
| Series: | Lecture Notes in Mathematics,
|
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1007/978-3-642-54936-6 Перейти в каталог НБ ТГУ |
| LEADER | 03042nam a22006135i 4500 | ||
|---|---|---|---|
| 001 | vtls000545170 | ||
| 003 | RU-ToGU | ||
| 005 | 20210922083410.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 160915s2014 gw | s |||| 0|eng d | ||
| 020 | |a 9783642549366 |9 978-3-642-54936-6 | ||
| 024 | 7 | |a 10.1007/978-3-642-54936-6 |2 doi | |
| 035 | |a to000545170 | ||
| 039 | 9 | |y 201609152230 |z Александр Эльверович Гилязов | |
| 040 | |a Springer |c Springer |d RU-ToGU | ||
| 050 | 4 | |a QA8.9-10.3 | |
| 072 | 7 | |a PBC |2 bicssc | |
| 072 | 7 | |a PBCD |2 bicssc | |
| 072 | 7 | |a MAT018000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511.3 |2 23 |
| 100 | 1 | |a Dries, Lou. |e author. |9 454168 | |
| 245 | 1 | 0 | |a Model Theory in Algebra, Analysis and Arithmetic |h electronic resource |b Cetraro, Italy 2012, Editors: H. Dugald Macpherson, Carlo Toffalori / |c by Lou Dries, Jochen Koenigsmann, H. Dugald Macpherson, Anand Pillay, Carlo Toffalori, Alex J. Wilkie. |
| 260 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg : |b Imprint: Springer, |c 2014. |9 742158 | ||
| 300 | |a VII, 195 p. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Mathematics, |x 0075-8434 ; |v 2111 | |
| 505 | 0 | |a 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. | |
| 520 | |a 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. | ||
| 650 | 0 | |a mathematics. |9 566183 | |
| 650 | 0 | |a Algebra. |9 281363 | |
| 650 | 0 | |a Global analysis (Mathematics). |9 303497 | |
| 650 | 0 | |a Logic, Symbolic and mathematical. |9 293145 | |
| 650 | 0 | |a Number theory. |9 566229 | |
| 650 | 1 | 4 | |a Mathematics. |9 566184 |
| 650 | 2 | 4 | |a Mathematical Logic and Foundations. |9 306112 |
| 650 | 2 | 4 | |a Algebra. |9 281363 |
| 650 | 2 | 4 | |a analysis. |9 303498 |
| 650 | 2 | 4 | |a Number Theory. |9 566230 |
| 700 | 1 | |a Koenigsmann, Jochen. |e author. |9 454169 | |
| 700 | 1 | |a Macpherson, H. Dugald. |e author. |9 454170 | |
| 700 | 1 | |a Pillay, Anand. |e author. |9 454171 | |
| 700 | 1 | |a Toffalori, Carlo. |e author. |9 454172 | |
| 700 | 1 | |a Wilkie, Alex J. |e author. |9 454173 | |
| 710 | 2 | |a SpringerLink (Online service) |9 143950 | |
| 773 | 0 | |t Springer eBooks | |
| 830 | 0 | |a Lecture Notes in Mathematics, |9 315276 | |
| 856 | 4 | 0 | |u http://dx.doi.org/10.1007/978-3-642-54936-6 |
| 856 | |y Перейти в каталог НБ ТГУ |u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=403446 | ||
| 912 | |a ZDB-2-SMA | ||
| 912 | |a ZDB-2-LNM | ||
| 950 | |a Mathematics and Statistics (Springer-11649) | ||
| 999 | |c 403446 |d 403446 | ||