17:30
Differentiability of functions definable in C-minimal valued fields
Abstract
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
differentiable.
We prove differentiability almost everywhere in valued fields of
characteristic 0
that are C-minimal, definably complete and such that, in the valuation
group,
definable functions are strongly eventually linear.
This is joint work with Pablo Cubides-Kovacsics.