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.

Principe

L'isolation comme détermination : l'atomicité signifie que les types sont fixés par des formules explicites, de sorte que les éléments et tuples finis sont fortement déterminés par des propriétés du premier ordre plutôt que par des descriptions cohérentes infinies.

Démonstration

Dans une théorie complète ω‑catégorique, le modèle dénombrable unique est atomique car tout type complet sur l'ensemble vide (et sur les ensembles finis) est isolé ; par exemple, de nombreuses structures dénombrables homogènes classiques ω‑catégoriques donnent des modèles dénombrables atomiques.

Mauvaise application

Supposer que l'atomicité implique la saturation ou inversement ; un modèle atomique est fortement déterminé mais peut ne pas réaliser tous les petits types cohérents (il peut être loin d'être saturé), donc traiter l'atomicité comme un substitut à la saturation est incorrect.

Conséquence

Les modèles atomiques servent de représentants canoniques et explicitement décrivables d'une théorie ; dans les théories complètes dénombrables, un modèle atomique dénombrable est souvent premier et fournit un objet minimal et rigide pour comprendre la structure définissable.

Inversion

Un modèle non atomique contient des tuples réalisant des types non isolés : ces types ne peuvent être capturés par aucune formule unique, conduisant à une plus grande flexibilité, à de nombreuses extensions non isomorphes et à des groupes d'automorphismes plus riches.

Limite

L'atomicité se comprend par rapport à la topologie des espaces de types en logique du premier ordre et est souvent discutée pour des modèles dénombrables ou petits ; l'existence de modèles atomiques dépend de la théorie (la théorie doit avoir suffisamment de types isolés) et peut échouer dans de nombreux cas.

Tension sémantique

Tension avec les notions de modèle premier et saturé : les modèles atomiques coïncident souvent avec les modèles premiers dans les théories complètes dénombrables, mais l'atomicité insiste sur les types isolés tandis que la primalité insiste sur la minimalité par plongement ; ces axes sont liés mais distincts.

Synthèse

Un modèle atomique est une structure fortement déterminée dont les types réalisés sont isolés par des formules : il fournit une incarnation minimale et décrivable du comportement réalisable d'une théorie à une taille donnée et constitue un outil central pour la classification et la description effective.