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.

Principe

L'atomicité exige que les types de la théorie soient témoins par des formules : pour chaque tuple fini il existe une formule qui caractérise de manière unique son type dans le modèle, rendant le modèle fortement déterminé par l'information syntaxique.

Démonstration

Dans un modèle atomique dénombrable d'une théorie complète, chaque tuple fini satisfait une seule formule isolante ; par exemple, si tous les types à une variable sont isolés par des formules, un modèle dénombrable construit en énumérant les réalisations de ces formules est atomique.

Mauvaise application

Qualifier un modèle d'atomique parce qu'il a peu de types ou parce que des tuples sont définissables de manière lâche sans vérifier l'existence de formules isolantes, conduit à une identification erronée de la propriété et peut tromper les arguments de classification.

Conséquence

Les modèles atomiques sont syntaxiquement maniables : leur structure est strictement contrôlée par des formules isolantes, ce qui facilite la construction de modèles premiers, l'analyse des groupes d'automorphismes et les approches effectives ou calculables en théorie des modèles.

Inversion

Un modèle qui réalise de nombreux types non isolés ou dont les types exigent des schémas infinis pour être décrits est l'opposé : fortement non atomique et moins gouverné par des formules uniques.

Limite

Défini pour les théories du premier ordre et sensible à l'isolation des types sur l'ensemble vide ; l'atomicité n'implique pas automatiquement la primarité ou la saturation et doit être vérifiée par rapport aux conditions d'isolation des types.

Tension sémantique

Tension entre détermination syntaxique et flexibilité : les modèles atomiques sont rigides parce que les formules isolent les types, tandis que les modèles non atomiques permettent un comportement non isolé plus riche, parfois nécessaire pour des phénomènes de saturation ou de catégoricité.

Synthèse

Un Modèle Atomique est un modèle dont tous les tuples finis sont isolés par des formules uniques, rendant la structure déterminée syntaxiquement aux niveaux finis et utile pour les constructions nécessitant l'isolation explicite des types.