Modèle Atomique

Un modèle dans lequel chaque tuple fini réalise un type atomique (principal) sur l'ensemble vide ; de façon équivalente, chaque tuple fini possède une formule complète isolant son type, de sorte que les types sur ∅ sont déterminés par des formules uniques.

Un modèle dénombrable (plus généralement un modèle d'une taille donnée) est atomique si tout tuple fini du modèle réalise un type isolé par une formule unique ; de façon équivalente, les types complets réalisés sont des points isolés dans les espaces de types concernés.