非极小性的次数至多为二

本文证明了：在特征零的微分闭域理论中，若 $p$ 是 over $A$ 的 Lascar 秩至少为 2 的完备型，则存在一对实现 $a_1$ 与 $a_2$，使得 $p$ 在 $A,a_1,a_2$ 上有一个非代数的分叉扩张。此外，若 $A$ 包含于常数域中，则 $p$ 已在 $A,a_1$ 上有一个非代数的分叉扩张。这些结果亦在更一般的框架中给出表述。