Seminar series
Date
Thu, 06 May 2010
17:00
17:00
Location
L3
Speaker
Luc Belair
Organisation
Montreal/Paris
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.