Eine prädikatenlogische Theorie T heißt stabil, wenn für jede Kardinalität κ (oder klassisch für κ = |T|) die Anzahl vollständiger Typen über jeder Parametersmenge der Größe κ höchstens κ ist; äquivalent dazu hat T nicht die Ordnungs-Eigenschaft und besitzt eine wohlverhaltene Unabhängigkeitsbegriff (Forking) für die Klassifikationstheorie.

Prinzip

Kontrolle der kombinatorischen Explosion von Typen: Stabilität ist die Trennlinie, die unkontrolliertes Wachstum von Typen über Parametersätzen verhindert und geometrische sowie Unabhängigkeits-Analysen von Modellen ermöglicht sowie eine robuste Klassifikation in stabile versus instabile Fälle liefert.

Demonstration

Die Theorie der Vektorräume über einem festen Körper ist stabil (tatsächlich ω‑stabil): Typen über Parametersätzen werden durch linear-algebraische Invarianten bestimmt, was eine klare Klassifikation der Modelle nach Dimension und eine einfache Unabhängigkeit durch lineare Hülle erlaubt.

Fehlanwendung

Anzunehmen, Stabilität impliziere Kategorizität in allen Kardinalitäten oder umgekehrt; Stabilität betrifft begrenzte Typenzahlen, nicht automatische Eindeutigkeit von Modellen in überabzählbaren Kardinalitäten — stärkere Begriffe (z. B. ω‑Stabilität, Superstabilität, Kategorizität) sind zu unterscheiden.

Konsequenz

Stabilität liefert ein reiches strukturelles Werkzeugset: Forking-Unabhängigkeit, Ränge und Dimensionen, Zerlegung in reguläre Typen und mächtige Klassifikationsergebnisse, die geometrische Intuition auf modelltheoretische Strukturen übertragen.

Umkehrung

Eine instabile Theorie weist die Ordnungs-Eigenschaft auf und damit beliebig viele Typen über manchen Parametersätzen; das führt typischerweise zu chaotischem kombinatorischem Verhalten, Ausfall einer robusten Unabhängigkeitsbegriff und vielen nichtisomorphen Modellen.

Abgrenzung

Stabilität ist eine Eigenschaft prädikatenlogischer Theorien bezogen auf eine feste Sprache und Kardinalarithmetik; sie hat Verfeinerungen (Superstabilität, ω‑Stabilität, NIP, Einfachheit), die feinere Trennlinien für Klassifikation und Anwendbarkeit ziehen.

Semantische Spannung

Spannung zu benachbarten Trennlinien: stabile Theorien sind in verschiedener Weise eine echte Teilmenge der NIP- und einfachen Theorien; in der Praxis muss man oft entscheiden, welche Verfeinerung (Stabilität, Einfachheit, NIP) das zu untersuchende Phänomen am besten erfasst.

Synthese

Stabilität ist die modelltheoretische Bedingung, die die Vermehrung von Typen kontrolliert und ein gut funktionierendes Unabhängigkeitskalkül liefert; sie ist die grundlegende Trennlinie der Klassifikationstheorie und verbindet kombinatorische Mäβigung mit geometrischer Struktur.