Simple Differential Field Extensions and Effective Bounds

摘要

We establish several variations on Kolchin's differential primitive element theorem, and conjecture a generalization of Pogudin's primitive element theorem. These results are then applied to improve the bounds for the effective Differential Lueroth theorem.