Nonstandard methods for bounds in differential polynomial rings

Matthew Harrison-Trainor, Jack Klys, Rahim Moosa

Motivated by the problem of the existence of bounds on degrees and orders in checking primality of radical (partial) differential ideals, the nonstandard methods of van den Dries a…