Abstract
We describe a method for proving the existence of a differential field over which two given differential subfields are linearly disjoint. In the affirmative case, they are linear disjoint over their intersection, which can be computed using characteristic sets. Our method is based on the correspondence between field extensions and ideals.



















Commentsย (0)