Théorie Stable

Une théorie du premier ordre T est stable si, pour tout cardinal κ (ou classiquement pour κ = |T|), le nombre de types complets sur tout ensemble de paramètres de taille κ est au plus κ ; équivalemment, T n'a pas la propriété d'ordre et admet une notion d'indépendance bien comportée (forking) utilisée en théorie de la classification.