Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Forking in the category of existentially closed structures / Anand Pillay
| Forking in the category of existentially closed structures / Anand Pillay |
| Autore | Pillay, Anand |
| Edizione | [Roma : Aracne] |
| Descrizione fisica | Estratto da: Quaderni di matematica, n. 6 (2000), p. 23-42. |
| Soggetto topico |
Classification theory, stability and related concepts [MSC 2010] 03C45
Quantifier elimination, model completeness and related topics [MSC 2010] 03C10 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0093406 |
Pillay, Anand
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
O-minimal preparation theorems / Lou van den Dries and Patrick Speissegger
| 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 | ||
| ||
Semi-bounded relations in ordered abelian groups / Oleg Belegradek
| 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 | ||
| ||
Soggetto topico
-
Quantifier elimination, model completeness and related topics [MSC 2010] 03C10
(3)
- Model theory of ordered structures; o-minimality [MSC 2010] 03C64 (2)
- Analytic algebras and generalizations, preparation theorems [MSC 2010] 32B05 (1)
- Classification theory, stability and related concepts [MSC 2010] 03C45 (1)
- Model-theoretic algebra [MSC 2010] 03C60 (1)