The theory of closed ordered differential fields with m commuting derivations - 15/02/08
pages | 4 |
Iconographies | 0 |
Vidéos | 0 |
Autres | 0 |
Abstract |
We generalize the work of M. Singer (1978) on the theory of closed ordered differential fields to the case of m-ODF, the theory of ordered fields equipped with m commuting derivations. We give an algebraic axiomatization of the model completion (denoted by m-CODF) of this theory and we can immediately deduce that m-CODF has quantifier elimination in the natural language of ordered δ-rings. To cite this article: C. Rivière, C. R. Acad. Sci. Paris, Ser. I 343 (2006).
Le texte complet de cet article est disponible en PDF.Résumé |
Nous généralisons les travaux de M. Singer concernant la théorie des corps ordonnés différentiellement clos au cas des corps ordonnés munis de m dérivations commutant entre elles. Nous donnons une axiomatisation algébrique de la modèle-complétion de cette théorie et nous pouvons directement déduire que cette dernière admet lʼélimination des quantificateurs dans le langage naturel des anneaux ordonnés différentiels. Pour citer cet article : C. Rivière, C. R. Acad. Sci. Paris, Ser. I 343 (2006).
Le texte complet de cet article est disponible en PDF.Plan
Vol 343 - N° 3
P. 151-154 - août 2006 Retour au numéroBienvenue 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 ?