Effective definability of Kolchin polynomials

James Freitag, Omar Leon Sanchez, Wei Li

While the natural model-theoretic ranks available in differentially closed fields (of characteristic zero), namely Lascar and Morley rank, are known not to be definable in families…