La théorie ACFA des corps aux différences existentiellement clos est supersimple. La trichotomie (de Zilber) est la propriété suivante des types minimaux : la prégéométrie donnée par acl sur l’ensemble des réalisations du type, est ou bien triviale (acl(A)=igcup_{a in A} acl(a))
- Théorie des Modèles et Groupes