Title: Generic derivations on topological fields
Abstract: 
We consider a certain class of "smooth" structures: expansions of topological fields satisfying certain conditions (the most important is that every definable set is a union of smooth manifolds).
We define compatible derivations on smooth structures, and show the existence of
generic compatible derivations.
Examples of smooth structures are o-minimal, p-adic, etc: the generic compatible derivations in these two cases were already considered before.
Link for remote viewing:

https://huji.cloud.panopto.eu/Panopto/Pages/Viewer.aspx?id=6d7f0524-6fa3-46f6-b179-af47006acc2d