Atomicité

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Propriété en théorie des modèles selon laquelle toute type complète sur l'ensemble vide (ou sur un ensemble de paramètres donné) est isolée par une seule formule ; autrement dit, tout n-uplet d'une structure a un type principal isolé.