Sciweavers

JSYML
2010
74views more  JSYML 2010»
13 years 6 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 resi...
Luc Bélair, Françoise Point