Stabile Theorie

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.