Definability in valued Ore modules
|
Thu, 06/05/2010 17:00 |
Luc Belair (Montreal/Paris) |
Logic Seminar  |
L3 |
| We consider valued fields with a distinguished isometry or contractive derivation, as valued modules over the Ore ring of difference operators. This amounts to study linear difference/differential equations with respect to the distinguished isometry/derivation. Under certain assumptions on the residue field, but in all characteristics, we obtain quantifier elimination in natural languages, and the absence of the independence property. We will consider other operators of interest. | |||