Eine Eigenschaft vollständiger Theorien in der Prädikatenlogik erster Ordnung: Eine Theorie heißt ω‑stabil, wenn für jede abzählbare Parametersatz A der Raum der vollständigen 1‑Typen (bzw. n‑Typen für festes n) über A abzählbar ist; anschaulich gibt es nur abzählbar viele nichtäquivalente Weisen, wie ein Element über einer abzählbaren Basis auftreten kann.

Prinzip

Die Ausbreitung von Typen durch eine Schranke über abzählbaren Mengen kontrollieren: ω‑Stabilität verhindert unzählbar viele verschiedene vollständige Typen über einer abzählbaren Basis und erzeugt damit Zähmbarkeit für Klassifikation und Modellkonstruktion.

Demonstration

Die Theorie algebraisch abgeschlossener Körper fester Charakteristik ist ω‑stabil: Über jeder abzählbaren Parametersatz gibt es nur abzählbar viele 1‑Typen, weil algebraische Abhängigkeit und Transzendenzgrad die Realisierungen einschränken und Typen durch polynomiale Relationen und Transzendenzinformation beschrieben werden können.

Fehlanwendung

ω‑Stabilität mit ω‑Kategorizität (Zähligkeitskategorizität) verwechseln oder annehmen, ω‑Stabilität garantiere die Eindeutigkeit abzählbarer Modelle; beide Begriffe sind verwandt, aber verschieden, und der eine impliziert den anderen nicht ohne zusätzliche Voraussetzungen.

Konsequenz

ω‑Stabilität bringt viele strukturelle Regularitäten mit sich: Existenz von Primmodellen über abzählbaren Mengen, wohlverhaltene Rangbegriffe (Morley‑Rang) und Dimensionen sowie Anwendbarkeit klassifikationstheoretischer Methoden wie Isolierung von Typen und Zerlegung in minimale Komponenten.

Umkehrung

Die Negation ist Instabilität auf abzählbarem Niveau: eine Theorie mit stetig vielen verschiedenen vollständigen Typen über einer abzählbaren Parametersatz, was typischerweise wildes kombinatorisches Verhalten und das Scheitern von Klassifikationswerkzeugen anzeigt.

Abgrenzung

Gilt für vollständige Theorien erster Ordnung und bezieht sich auf Typen über abzählbaren Parametersätzen; sie sagt nichts über nichtabzählbare Parametersätze aus und setzt Vollständigkeit und die Festlegung der Sprache voraus, um sinnvoll zu sein.

Semantische Spannung

ω‑Stabilität steht zwischen bloßer Stabilität und stärkeren Eigenschaften wie Superb­­stabilität oder Kategorizität: Sie zähmt Typen durch Abzählbarkeit, erlaubt aber dennoch Komplexitäten, die stärkere Eigenschaften ausschließen, weshalb sie mit lokalen geometrischen Begriffen (starke Minimalität) und globalen Kategorizitätsaussagen in Spannung steht.

Synthese

ω‑Stabilität ist eine Zähligkeitsbeschränkung für Typen: Indem sie nur abzählbar viele vollständige Typen über jede abzählbare Basis zulässt, erzeugt sie einen kontrollierten Rahmen für Ränge, Primmodelle und Zerlegungen in gut verstandene minimale Bausteine und bildet damit eine Brücke zwischen grundlegender Stabilität und vollständiger Klassifikation.