Chow form for projective differential variety

In this paper, a generic intersection theorem in projective differential algebraic geometry is given. Then, the Chow form for an irreducible projective differential variety is defined and basic properties of the differential Chow form in affine differential case are shown to be valid for its projective differential counterpart. Finally, we apply the differential Chow form to a result of linear dependence over projective varieties given by Kolchin.