Κ-Sättigung

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine modelltheoretische Eigenschaft einer Struktur, die besagt, dass jeder Typ (Menge von Formeln) mit Parametern aus einer Teilmenge der Kardinalität < κ, der in der Struktur endlich befriedigbar ist, auch in der Struktur realisiert wird; äquivalent: alle konsistenten Typen über kleinen Parametersätzen sind realisiert.