Sciweavers

Share
JSYML
2010

Quantifier elimination in valued Ore modules

9 years 5 months ago
Quantifier elimination in valued Ore modules
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. MSC: 03C60, 03C10, 16D, 16S36, 12J10.
Luc Bélair, Françoise Point
Added 20 May 2011
Updated 20 May 2011
Type Journal
Year 2010
Where JSYML
Authors Luc Bélair, Françoise Point
Comments (0)
books