Regular types in differentially closed fields
Theorem: (Moosa, Pillay, and Scanlon; 2004)
If p is a nonlocally modular regular type over a
differentially closed field, then there is a subgroup of
the additive group defined by linear PDEs having a regular
generic type nonorthogonal to p.