Anand Pillay

On definable groups in real closed fields with a generic derivation, and related structures

We study finite-dimensional groups definable in models of the theory RCF ∂ of real closed fields with a generic derivation (also known as CODF , the theory of closed ordered differential fields [28]). We prove that any such group Γ definably embeds in a “canonical” semialgebraic...