## [Gesättigte Struktur](/de/node/60076) Definition Eine κ-gesättigte (gesättigte) Struktur ist ein Modell M, so dass für jede Parametersatz A ⊆ M mit |A| < κ jeder konsistente Typ über A (in endlich vielen Variablen) in M realisiert wird; Gesättigtheit drückt aus, dass M reich genug ist, Realisierungen aller kleinen konsistenten Beschreibungen zu enthalten. ## Prinzip Prinzip Realisierung kleiner Typen: Gesättigtheit ist eine kardinalitätsabhängige Vollständigkeitseigenschaft, die behauptet, dass keine konsistente Einschränkung über einem kleinen Parametersatz unrealisiert bleibt, wodurch kombinatorische Größenbedingungen mit modelltheoretischer Fülle verknüpft werden und die Konstruktion von 'Monster'-Modellen erleichtert wird. ## Demonstration Demonstration Ist κ ein überabzählbarer starker Limes-Kardinal größer als die Sprachgröße, dann realisiert ein κ-gesättigtes Modell einer vollständigen Theorie T der Kardinalität κ jeden Typ über Mengen der Größe < κ; in stabilen Theorien sind gesättigte Modelle einer gegebenen nichtabzählbaren Kardinalität bis auf Isomorphie eindeutig und dienen als kanonische große Modelle. ## Fehlanwendung Fehlanwendung Gesättigtheit mit Homogenität zu verwechseln (Gesättigtheit impliziert gewisse Homogenität, ist aber verschieden) oder anzunehmen, es gebe abzählbare Gesättigtheit ohne Kontrolle der kardinalen Schranken; fälschlich zu erwarten, jede Theorie habe gesättigte Modelle in jeder Kardinalität, ohne set-theoretische oder Stabilitäts-Einschränkungen zu beachten. ## Konsequenz Konsequenz Gesättigte Strukturen sind hochgradig homogen, realisieren viele Typen, vereinfachen Klassifikations- und Unabhängigkeitsargumente und dienen häufig als ambienter 'Monster'-Modellraum zur Untersuchung von Typen, Automorphismen und Forking-Kalkül. ## Umkehrung Umkehrung Nicht-gesättigte oder primäre/atomare Modelle lassen einige konsistente kleine Typen aus; die Umkehr der Gesättigtheit liefert minimale, atomare oder starre Modelle, die nicht die volle Menge kleiner Typen realisieren. ## Abgrenzung Abgrenzung Hängt vom Kardinal κ und der Sprache/Theorie ab; Gesättigtheit bezieht sich auf Erster-Ordnung-Typen über Parametersätzen der Größe < κ und garantiert nicht automatisch Realisierungen für Typen über größeren Mengen oder in Logiken jenseits der Ersten Ordnung. ## Semantische Spannung Semantische Spannung Spannung zwischen dem Wunsch nach einem reich realisierten Modell (Gesättigtheit) und Begrenzungen durch Kardinalarithmetik, Stabilität oder Nichtvorhandensein von Modellen in bestimmten Größen; Gesättigtheit tauscht Modellgröße und kombinatorische Beschränkungen gegen expressive Vollständigkeit ein. ## Synthese Synthese Eine κ-gesättigte Struktur ist ein Modell, das in Bezug auf die Schranke κ jede konsistente Erstordnungsbeschreibung über kleine Parametersätze realisiert; sie formt die Idee eines unter Kardinalitätsbeschränkungen maximal reichen Modells und bildet die Grundlage vieler globaler modelltheoretischer Argumente.