## [Κ-Saturation](/fr/node/61438) Définition Propriété sémantique en théorie des modèles d'une structure affirmant que tout type (ensemble de formules) à paramètres dans un sous-ensemble de cardinal strictement inférieur à un cardinal donné κ, qui est finiment satisfiable dans la structure, est réalisé dans la structure ; autrement dit, tous les types cohérents sur des ensembles de paramètres petits sont réalisés. ## Principe Principe La κ-saturation impose que des contraintes locales, finiment cohérentes sur des ensembles de paramètres de taille < κ possèdent effectivement des témoins dans le modèle, produisant une richesse de réalisations qui aligne la capacité expressive du modèle sur le cardinal κ et empêche l'omission de petits types. ## Démonstration Démonstration Un modèle ℵ0-saturé réalise tout type sur des ensembles de paramètres finis qui est finiment satisfiable ; par exemple, un corps algébriquement clos saturé de degré de transcendance non dénombrable réalise tous les 1-types sur ensembles dénombrables, garantissant l'existence d'éléments satisfaisant des relations algébriques prescrites par rapport à ces paramètres. ## Mauvaise application Mauvaise application Confondre la saturation avec la complétude du modèle ou la complétude du théorème : une théorie peut être complète sans que ses modèles soient κ-saturés, et un modèle κ-saturé ne rend pas nécessairement la théorie décidable ; lire la saturation comme une propriété syntaxique de la théorie plutôt que sémantique des modèles conduit à des conclusions erronées sur la réalisabilité dans des modèles arbitraires. ## Conséquence Conséquence Un modèle κ-saturé est fortement homogène et flexible : les types sur petits ensembles sont réalisés, ce qui permet des constructions va-et-vient pour établir des isomorphismes, le transfert de suites indiscernables et un contrôle fin des groupes d'automorphismes ; les modèles saturés servent souvent de modèles canoniques de grande taille en théorie de la classification. ## Inversion Inversion La négation — un modèle qui n'est pas κ-saturé — omet un type finiment satisfiable sur un ensemble de paramètres de taille < κ ; cette omission peut indiquer rigidité, lacunes de réalisation ou comportement incomplet « petit » qui empêche les arguments va-et-vient. ## Limite Limite La saturation est une propriété sémantique des modèles individuels relative à un cardinal κ et dépend de la taille du langage ; elle est pertinente pour les théories du premier ordre et nécessite de tenir compte de l'arithmétique des cardinaux (p. ex. l'existence de modèles κ-saturés peut exiger des cardinalités élevées ou des hypothèses d'ensemble supplémentaires) ; elle ne se transfère pas automatiquement entre modèles de différentes cardinalités. ## Tension sémantique Tension sémantique Tension entre la saturation et des notions proches : saturation vs compacité (la compacité assure la satisfaisabilité finie d'ensembles d'énoncés tandis que la saturation exige la réalisation de types), et saturation vs complétude ou catégoricité ; ces notions se recoupent mais sont logiquement distinctes et orientent différemment les applications. ## Synthèse Synthèse La κ-saturation exprime que le modèle est aussi complet en réalisations que le permet le cardinal κ : toute contrainte petite et finiment satisfiable possède un témoin, donnant des modèles riches, homogènes et essentiels pour la classification et le transfert structurel, tout en restant sensible à la taille du langage et à l'arithmétique des cardinaux.