## [Κ-Sättigung](/de/node/61438) Definition 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 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 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 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 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 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 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 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 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.