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

Bélair Luc, Point Françoise , "Quantifier elimination in valued Ore modules" in Journal of Symbolic Logic, 75, 3, 1007-1034

  • Edition : Cambridge University Press (United Kingdom)
  • Codes CREF : Logique mathématique (DI1170), Informatique mathématique (DI1160)
  • Unités de recherche UMONS : Logique mathématique (S838)
Texte intégral :

Abstract(s) :

(Anglais) We consider valued fields with a distinguished isometry or contractive derivation as valued modules over the Ore ring of difference operators. Under certain assumptions on the residue field, we prove quantifier elimination first in the pure module language, then in that language augmented with a chain of additive subgroups, and finally in a two-sorted language with a valuation map. We apply quantifier elimination to prove that these structures do not have the independence property.

Identifiants :
  • DOI : 10.2178/jsl/1278682213