کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4671117 | 1634007 | 2008 | 4 صفحه PDF | دانلود رایگان |
![عکس صفحه اول مقاله: Modèle complétude des structures o-minimales polynomialement bornées Modèle complétude des structures o-minimales polynomialement bornées](/preview/png/4671117.png)
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 〈R,>,+,∗,F〉, où F 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).
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 〈R,>,+,∗,F〉 where F 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).
Journal: Comptes Rendus Mathematique - Volume 346, Issues 1–2, January–February 2008, Pages 59-62