Model Theory of Valued Fields / Raf Cluckers |
Autore | Cluckers, Raf |
Edizione | [Roma : Aracne] |
Descrizione fisica | Estratto da: Quaderni di matematica, n. 11(2002), p. 73-86. |
Soggetto topico |
Basic properties of first-order languages and structures [MSC 2010] 03C07
Model theory of ordered structures; o-minimality [MSC 2010] 03C64 Applications of model theory [MSC 2010] 03C98 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0094118 |
Cluckers, Raf | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
O-minimal expansions of the real field / Patrick Speissegger |
Autore | Speissegger, Patrick |
Edizione | [Roma : Aracne] |
Descrizione fisica | Estratto da: Quaderni di matematica, n. 11(2002), p. 379-408. |
Soggetto topico |
Pfaffian systems [MSC 2010] 58A17
Model theory of ordered structures; o-minimality [MSC 2010] 03C64 Quasi-analytic and other classes of functions [MSC 2010] 30D60 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0094114 |
Speissegger, Patrick | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
O-minimal preparation theorems / Lou van den Dries and Patrick Speissegger |
Autore | van den Dries, Lou |
Edizione | [Roma : Aracne] |
Descrizione fisica | Estratto da: Quaderni di matematica, n. 11(2002), p. 87-114. |
Altri autori (Persone) | Speissegger, Patrick |
Soggetto topico |
Model theory of ordered structures; o-minimality [MSC 2010] 03C64
Quantifier elimination, model completeness and related topics [MSC 2010] 03C10 Analytic algebras and generalizations, preparation theorems [MSC 2010] 32B05 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0094113 |
van den Dries, Lou | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
On exponentiation-A solution to Tarski's high school algebra problem / Alex Wilkie |
Autore | Wilkie, Alex |
Edizione | [Roma : Aracne] |
Descrizione fisica | Estratto da: Quaderni di matematica, n. 6 (2000), p. 107-130. |
Soggetto topico |
Equational classes, universal algebra [MSC 2010] 03C05
Model theory of ordered structures; o-minimality [MSC 2010] 03C64 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0093422 |
Wilkie, Alex | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Semi-bounded relations in ordered abelian groups / Oleg Belegradek |
Autore | Belegradek, Oleg |
Edizione | [Roma : Aracne] |
Descrizione fisica | Estratto da: Quaderni di matematica, n. 11 (2002), p. 15-39. |
Soggetto topico |
Model-theoretic algebra [MSC 2010] 03C60
Ordered groups [MSC 2010] 20F60 Model theory of ordered structures; o-minimality [MSC 2010] 03C64 Quantifier elimination, model completeness and related topics [MSC 2010] 03C10 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0093862 |
Belegradek, Oleg | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Some topological and differentiable invariants in o-minimal structures : a survey of the solution to the torsion point problem / Ya'acov Peterzil |
Autore | Peterzil, Ya'acov |
Edizione | [Roma : Aracne] |
Descrizione fisica | Estratto da: Quaderni di matematica, n. 11(2002), p. 307-324. |
Soggetto topico |
Analysis on real and complex Lie groups [MSC 2010] 22E30
Model theory of ordered structures; o-minimality [MSC 2010] 03C64 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0094117 |
Peterzil, Ya'acov | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|