An intermediate value property for first-order differential polynomials / Lou van den Dries |
Autore | Dries, Lou : van den |
Edizione | [Roma : Aracne] |
Descrizione fisica | Estratto da: Quaderni di matematica, n. 6 (2000), p. 95-106. |
Soggetto topico |
Asymptotic properties [MSC 2010] 34D05
Model-theoretic algebra [MSC 2010] 03C60 Growth, boundedness [MSC 2010] 34C11 Rate of growth of functions, orders of infinity, slowly varying functions [MSC 2010] 26A12 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0093420 |
Dries, Lou : van den | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Asymptotic differential algebra and model theory of transseries / Matthias Aschenbrenner, Lou van den Dries, Joris van der Hoeven |
Autore | Aschenbrenner, Matthias |
Pubbl/distr/stampa | Princeton, : Princeton university, 2017 |
Descrizione fisica | XXI, 849 p. ; 24 cm. |
Altri autori (Persone) |
Dries, Lou : van den
Hoeven, Joris : van der |
Soggetto topico |
Valued fields [MSC 2010] 12J10
12H05 - Differential algebra [MSC 2020] 03Cxx - Model theory [MSC 2020] |
ISBN | 978-06-911754-3-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0123260 |
Aschenbrenner, Matthias | ||
Princeton, : Princeton university, 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Asymptotic differential algebra and model theory of transseries / Matthias Aschenbrenner, Lou van den Dries, Joris van der Hoeven |
Autore | Aschenbrenner, Matthias |
Pubbl/distr/stampa | Princeton, : Princeton university, 2017 |
Descrizione fisica | XXI, 849 p. ; 24 cm |
Altri autori (Persone) |
Dries, Lou : van den
Hoeven, Joris : van der |
Soggetto topico |
12J10 - Valued fields [MSC 2020]
12H05 - Differential algebra [MSC 2020] 03Cxx - Model theory [MSC 2020] |
ISBN | 978-06-911754-3-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0123260 |
Aschenbrenner, Matthias | ||
Princeton, : Princeton university, 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Asymptotic differential algebra and model theory of transseries / Matthias Aschenbrenner, Lou van den Dries, Joris van der Hoeven |
Autore | Aschenbrenner, Matthias |
Pubbl/distr/stampa | Princeton, : Princeton university, 2017 |
Descrizione fisica | XXI, 849 p. ; 24 cm |
Altri autori (Persone) |
Dries, Lou : van den
Hoeven, Joris : van der |
Soggetto topico |
03Cxx - Model theory [MSC 2020]
12H05 - Differential algebra [MSC 2020] 12J10 - Valued fields [MSC 2020] |
ISBN | 978-06-911754-3-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00123260 |
Aschenbrenner, Matthias | ||
Princeton, : Princeton university, 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Model theory in algebra, analysis and arithmetic : Cetraro, Italy 2012 / Lou van den Dries ... [et al.] ; editors: H. Dugald Macpherson, Carlo Toffalori |
Pubbl/distr/stampa | Berlin, : Springer, 2014 |
Descrizione fisica | VII, 195 p. ; 24 cm |
Soggetto topico |
12J20 - General valuation theory for fields [MSC 2020]
11U09 - Model theory (number-theoretic aspects) [MSC 2020] 03C60 - Model-theoretic algebra [MSC 2020] 03Cxx - Model theory [MSC 2020] 03C45 - Classification theory, stability and related concepts in model theory [MSC 2020] 03C64 - Model theory of ordered structures; o-minimality [MSC 2020] 03C10 - Quantifier elimination, model completeness and related topics [MSC 2020] 11U05 - Decidability (number-theoretic aspects) [MSC 2020] |
Soggetto non controllato |
Decidable theory
Dependent theory Exponential field Model theory Valued field |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0101555 |
Berlin, : Springer, 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Model theory in algebra, analysis and arithmetic : Cetraro, Italy 2012 / Lou van den Dries ... [et al.] ; editors: H. Dugald Macpherson, Carlo Toffalori |
Pubbl/distr/stampa | Berlin, : Springer, 2014 |
Descrizione fisica | VII, 195 p. ; 24 cm |
Soggetto topico |
03C10 - Quantifier elimination, model completeness and related topics [MSC 2020]
03C45 - Classification theory, stability and related concepts in model theory [MSC 2020] 03C60 - Model-theoretic algebra [MSC 2020] 03C64 - Model theory of ordered structures; o-minimality [MSC 2020] 03Cxx - Model theory [MSC 2020] 11U05 - Decidability (number-theoretic aspects) [MSC 2020] 11U09 - Model theory (number-theoretic aspects) [MSC 2020] 12J20 - General valuation theory for fields [MSC 2020] |
Soggetto non controllato |
Decidable theory
Dependent theory Exponential field Model theory Valued field |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00101555 |
Berlin, : Springer, 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Model theory in algebra, analysis and arithmetic : Cetraro, Italy 2012 / Lou van den Dries ... [et al.] ; editors: H. Dugald Macpherson, Carlo Toffalori |
Edizione | [Berlin : Springer, 2014] |
Descrizione fisica | Pubblicazione in formato elettronico |
Soggetto topico |
12J20 - General valuation theory for fields [MSC 2020]
11U09 - Model theory (number-theoretic aspects) [MSC 2020] 03C60 - Model-theoretic algebra [MSC 2020] 03Cxx - Model theory [MSC 2020] 03C45 - Classification theory, stability and related concepts in model theory [MSC 2020] 03C64 - Model theory of ordered structures; o-minimality [MSC 2020] 03C10 - Quantifier elimination, model completeness and related topics [MSC 2020] 11U05 - Decidability (number-theoretic aspects) [MSC 2020] |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0101555 |
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Tame topology and O-minimal structures / Lou van den Dries |
Autore | Dries, Lou : van den |
Pubbl/distr/stampa | Cambridge, : Cambridge university, 1998 |
Descrizione fisica | X, 180 p. ; 23 cm. |
Soggetto topico |
54-XX - General topology [MSC 2020]
03C60 - Model-theoretic algebra [MSC 2020] 03C50 - Models with special properties (saturated, rigid, etc.) [MSC 2020] |
ISBN |
05-215-9838-9
978-05-215-9838-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0049807 |
Dries, Lou : van den | ||
Cambridge, : Cambridge university, 1998 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Tame topology and O-minimal structures / Lou van den Dries |
Autore | Dries, Lou : van den |
Pubbl/distr/stampa | Cambridge, : Cambridge university, 1998 |
Descrizione fisica | X, 180 p. ; 23 cm |
Soggetto topico |
54-XX - General topology [MSC 2020]
03C60 - Model-theoretic algebra [MSC 2020] 03C50 - Models with special properties (saturated, rigid, etc.) [MSC 2020] |
ISBN |
05-215-9838-9
978-05-215-9838-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0049807 |
Dries, Lou : van den | ||
Cambridge, : Cambridge university, 1998 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Tame topology and O-minimal structures / Lou van den Dries |
Autore | Dries, Lou : van den |
Pubbl/distr/stampa | Cambridge, : Cambridge university, 1998 |
Descrizione fisica | X, 180 p. ; 23 cm |
Soggetto topico |
03C50 - Models with special properties (saturated, rigid, etc.) [MSC 2020]
03C60 - Model-theoretic algebra [MSC 2020] 54-XX - General topology [MSC 2020] |
ISBN |
05-215-9838-9
978-05-215-9838-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00049807 |
Dries, Lou : van den | ||
Cambridge, : Cambridge university, 1998 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|