We consider the differentiability of definable functions in tame expansions
of algebraically closed valued fields.
As the Frobenius inverse shows such a function may be nowhere
We prove differentiability almost everywhere in valued fields of
that are C-minimal, definably complete and such that, in the valuation
definable functions are strongly eventually linear.
This is joint work with Pablo Cubides-Kovacsics.
- Logic Seminar