Un modèle qui réalise tous les types sur des ensembles de paramètres de cardinalité inférieure à son cardinal de saturation ; plus précisément, un modèle est κ-saturé s'il réalise tous les types sur des ensembles de paramètres de taille < κ, et saturé lorsque κ coïncide avec sa propre cardinalité.

Principe

La saturation exprime l'idée de complétude vis-à-vis des types : un modèle saturé ne peut pas être étendu (dans sa cardinalité) en ajoutant des réalisations de types sur petits ensembles de paramètres car il les réalise déjà tous.

Démonstration

Un modèle dénombrable ω-saturé réalise tout type sur ensembles de paramètres finis ; par exemple, un modèle dénombrable saturé d'une théorie complète réalise chaque type consistant sur paramètres finis et ne peut donc pas être prolongé élémentairement dans le domaine dénombrable sans changer de cardinalité.

Mauvaise application

Confondre saturation avec simple richesse (avoir beaucoup d'éléments) ou supposer la saturation sans vérifier la réalisation de tous les types à petits paramètres conduit à des erreurs ; de même, invoquer la saturation dans des contextes où l'arithmétique des cardinaux pertinente échoue est un mauvais usage.

Conséquence

Les modèles saturés servent d'univers robustes et fortement homogènes pour la théorie : ils facilitent les arguments back-and-forth, la classification par stabilité et le transfert de propriétés structurelles via immersions élémentaires et automorphismes.

Inversion

Un modèle premier ou atomique est l'image inverse : minimal et fortement déterminé, plutôt que maximal dans la réalisation des types ; saturation et primarité sont souvent notions orthogonales.

Limite

Défini relativement à un cardinal κ et applicable en théorie des modèles du premier ordre ; la saturation dépend à la fois de la cardinalité du modèle et du contexte théorique des ensembles et n'implique pas par elle-même primarité ou catégoricité.

Tension sémantique

Tension entre universalité et spécificité : la saturation apporte universalité vis-à-vis des types mais peut estomper des distinctions syntaxiques fines que des modèles plus petits et spécifiques (premiers ou atomiques) conservent.

Synthèse

Un Modèle Saturé est une structure maximisant la réalisation de types à l'échelle de sa taille : en réalisant tous les types à petits paramètres, il offre un environnement homogène et extensionnellement complet, central pour la théorie de la classification et les arguments de transfert.