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
![]() |
||
![]() | ||
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
![]() |
||
![]() | ||
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
![]() |
||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|