A Note on the Largest Existentially Definable Interval

• 论一类常微分方程解的最大存在区间