Modèle complétude des structures o-minimales polynomialement bornées - 15/02/08
Bienvenue sur EM-consulte, la référence des professionnels de santé.
L’accès au texte intégral de cet article nécessite un abonnement.
| pages | 4 |
| Iconographies | 0 |
| Vidéos | 0 |
| Autres | 0 |
Résumé |
On montre un théorème du complémentaire explicite « à la Gabrielov ’96 » dans les structures o-minimales polynomialement bornées. Cette propriété équivaut à la modèle complétude de la structure 
, où 
est une algèbre différentielle globale d’applications définissables dans une structure o-minimale polynomialement bornée. Pour citer cet article : O. Le Gal, C. R. Acad. Sci. Paris, Ser. I 346 (2008).
Abstract |
We show an explicit theorem of the complement “Gabrielov’s ’96 like” for o-minimal polynomially bounded structures. In model theoretic terms, this is equivalent to the model completeness of 
where 
is a global differential algebra of maps definable in an o-minimal polynomially bounded structure. To cite this article: O. Le Gal, C. R. Acad. Sci. Paris, Ser. I 346 (2008).
Plan
Vol 346 - N° 1-2
P. 59-62 - janvier-février 2008 Retour au numéro
Article précédent
- Carleman inequalities and inverse problems for the Schrödinger equation
- Alberto Mercado, Axel Osses, Lionel Rosier
- Fibre spéciale des hypersurfaces de petit degré
- Jean-Louis Colliot-Thélène
Bienvenue sur EM-consulte, la référence des professionnels de santé.
L’accès au texte intégral de cet article nécessite un abonnement.
Bienvenue sur EM-consulte, la référence des professionnels de santé.
L’achat d’article à l’unité est indisponible à l’heure actuelle.
Déjà abonné à cette revue ?