##  [Stabile Theorie](/de/node/63601) 

 Definition

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

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

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

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

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

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

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

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

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.