Abstract:
We obtained the criterion of existence of a quasi-liner polynomial in a differential ideal
in the ordinary ring of differential polynomials over a field of characteristic zero. We
generalized the “going up” and “going down” theorems onto the case of Ritt algebras.
In particular, new finiteness criteria for differential standard bases and estimates that
characterize calculation complexity were obtained.