Fiche du document
2010
- handle: 10670/1.cjigm3
- Bélair, Luc et Point, Françoise (2010). « Quantifier elimination in valued Ore modules ». Journal of Symbolic Logic, 75(3), pp. 1007-1034.
Ce document est lié à :
http://archipel.uqam.ca/1390/
Ce document est lié à :
http://projecteuclid.org/euclid.jsl/1278682213
Ce document est lié à :
doi:10.2178/jsl/1278682213
Mots-clés
Logique modules valués de Ore quantifier elimination valued Ore modules linear difference equations.Sujets proches
ResultantsCiter ce document
Luc Bélair et al., « Quantifier elimination in valued Ore modules », UQAM Archipel : articles scientifiques, ID : 10670/1.cjigm3
Métriques
Partage / Export
Résumé
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 thet these structures do not have the independence property.