On sait que la théorie DCF_0 des corps différentiellement clos de caractéristique 0, élimine les quantificateurs dans le langage { + , – , · , 0 , 1 , D } des anneaux différentiels. Pierce et Pillay ont montré que tout ensemble définissable est une combinaison booléenne d’ensembles définis par des D-variétés. Une D-variété est une paire (V, s), où V est une variété algébrique, et s: V
- Théorie des Modèles et Groupes