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.

Prinzip

κ‑Sättigung erzwingt, dass lokal endlich konsistente Bedingungen über Parametersätzen der Größe < κ tatsächlich Zeugen im Modell haben, wodurch eine Fülle von Realisierungen entsteht, die die expressive Kapazität des Modells an das Kardinal κ anpasst und das Auslassen kleiner Typen verhindert.

Demonstration

Ein ℵ0‑saturiertes (abzählbar sättigtes) Modell realisiert jeden Typ über endlichen Parametersätzen, der endlich erfüllbar ist; beispielsweise realisiert ein saturierter algebraisch abgeschlossener Körper unendlichen Transzendenzgrades alle 1‑Typen über abzählbaren Mengen und gewährleistet so die Existenz von Elementen mit vorgegebenen algebraischen Relationen zu diesen Parametern.

Fehlanwendung

Sättigung mit Modellvollständigkeit oder mit der Vollständigkeit einer Theorie zu verwechseln: Eine Theorie kann vollständig sein, ohne dass ihre Modelle κ‑saturiert sind, und ein κ‑saturiertes Modell macht die Theorie nicht unbedingt entscheidbar; Sättigung als syntaktische Eigenschaft der Theorie zu lesen statt als semantische Eigenschaft von Modellen führt zu falschen Schlüssen über Realisierbarkeit in beliebigen Modellen.

Konsequenz

Ein κ‑saturiertes Modell ist stark homogen und flexibel: Typen über kleinen Mengen werden realisiert, wodurch Rück‑und‑Vor‑Konstruktionen (back-and-forth) zur Herstellung von Isomorphismen möglich werden, indiskernible Folgen übertragen werden können und Automorphismengruppen gut kontrollierbar sind; saturierte Modelle dienen häufig als kanonische große Modelle in der Klassifikationstheorie.

Umkehrung

Die Negation — ein nicht κ‑saturiertes Modell — lässt einen endlich erfüllbaren Typ über einem Parametersatz der Größe < κ aus; ein solches Auslassen kann auf Starrheit, Realisierungs‑Lücken oder kleines unvollständiges Verhalten hinweisen, das Back‑and‑forth‑Argumente verhindert.

Abgrenzung

Sättigung ist eine semantische Eigenschaft einzelner Modelle relativ zu einem Kardinal κ und hängt von der Größe der Sprache ab; sie ist in der Prädikatenlogik erster Stufe sinnvoll und erfordert Beachtung kardinaler Arithmetik (z. B. kann die Existenz κ‑saturierter Modelle große Kardinalitäten oder zusätzliche mengentheoretische Annahmen benötigen); sie überträgt sich nicht automatisch zwischen Modellen verschiedener Kardinalitäten.

Semantische Spannung

Spannung zwischen Sättigung und verwandten Begriffen: Sättigung vs. Kompaktheit (Kompaktheit sichert die endliche Erfüllbarkeit von Formelmengen, Sättigung verlangt die Realisierung von Typen) sowie Sättigung vs. Modellvollständigkeit oder Kategorizität; diese Konzepte überschneiden sich, sind aber logisch verschieden und führen zu unterschiedlichen Anwendungen.

Synthese

κ‑Sättigung fasst die Idee zusammen, dass ein Modell in Bezug auf das Kardinal κ realisatorisch maximal ist: jede kleine endlich erfüllbare Einschränkung hat ein Zeugnis, wodurch Modelle entstehen, die reich, homogen und zentral für Klassifikation und Strukturtransfer sind, jedoch empfindlich gegenüber Sprachgröße und kardinaler Arithmetik bleiben.