DI-UMONS : Dépôt institutionnel de l’université de Mons

Recherche transversale
Rechercher
(titres de publication, de périodique et noms de colloque inclus)
2006-08-01 - Article/Dans un journal avec peer-review - Anglais - 4 page(s)

Rivière Cédric , "The theory of closed ordered differential fields with m commuting derivations" in Comptes Rendus de l''Académie des Sciences de Paris, 343, 3, 151-154

  • Codes CREF : Théorie des nombres (DI1141), Géométrie algébrique (DI1111)
  • Unités de recherche UMONS : Géométrie algébrique (S843)
Texte intégral :

Abstract(s) :

(Anglais) 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

Identifiants :
  • DOI : 10.1016/j.crma.2006.06.019