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-10-01 - Article/Dans un journal avec peer-review - Anglais - 9 page(s)

Rivière Cédric , "The model theory of m-ordered differential fields" in Mathematical Logic Quarterly, 52, 4

  • Edition : John Wiley & Sons, Inc. - Engineering
  • 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) In his Ph.D. thesis [7], L. van den Dries studied the model theory of fields (more precisely domains) with finitely many orderings and valuations where all open sets according to the topology defined by an order or a valuation is globally dense according with all other orderings and valuations. Van den Dries proved that the theory of these fields is companionable and that the theory of the companion is decidable (see also [8]).In this paper we study the case where the fields are expanded with finitely many orderings and an independent derivation. We show that the theory of these fields still admits a model companion in the language L = {+, –, ·, D, <1, …, <m, 1, 0}. We denote this model companion by CODFm and give a geometric axiomatization of this theory which uses basic notions of algebraic geometry and some generalized open subsets which appear naturally in this context. This axiomatization allows to recover (just by putting m = 1) the one given in [4] for the theory CODF of closed ordered differential fields. Most of the technics we use here are already present in [2] and [4].Finally, we prove that it is possible to describe the completions of CODFm and to obtain quantifier elimination in a slightly enriched (infinite) language. This generalizes van den Dries' results in the “derivation free” case. (© 2006 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim

Identifiants :
  • DOI : 10.1002/malq.200510037