Differential-algebraic jet spaces preserve internality to the constants

Zoe Chatzidakis, Matthew Harrison-Trainor, Rahim Moosa

This paper concerns the model theory of jet spaces (i.e., higher-order tangent spaces) in differentially closed fields. Suppose p is the generic type of the jet space to a finite d…