The degree of nonminimality is at most two

James Freitag, Rémi Jaoui, Rahim Moosa

It is shown that if $p$ is a complete type of Lascar rank at least 2 over $A$, in the theory of differentially closed fields of characteristic zero, then there exists a pair of rea…