Definable groups in topological fields with a generic derivation (2007.11971v1)

Abstract: We continue the study of a class of topological $\mathcal{L}$-fields endowed with a generic derivation $\delta$, focussing on describing definable groups. We show that one can associate to an $\mathcal{L}_{\delta}$ definable group a type $\mathcal{L}$-definable topological group. We use the group configuration tool in o-minimal structures as developed by K. Peterzil.