Structure Saturée

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Une structure κ-saturée (structure saturée) est un modèle M tel que pour tout ensemble de paramètres A ⊆ M de cardinal strictement inférieur à κ, tout type consistant sur A (en un nombre fini de variables) est réalisé dans M ; la saturation exprime que M est suffisamment riche pour contenir des réalisations de toutes les descriptions consistantes de petite taille.