Multivariable dimension polynomials and new invariants of differential field extensions

We introduce a special type of reduction in the ring of differential polynomials and develop the appropriate technique of characteristic sets that allows to generalize the classical Kolchin's theorem on differential dimension polynomial and find new differential birational invariants of a finitely generated differential field extension.