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

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

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

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

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

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

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

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

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.