Ω-Stabilité

Propriété de complétude/complexité d'une théorie du premier ordre : une théorie est ω-stable si, pour tout ensemble de paramètres dénombrable A, l'espace des types complets à une variable (ou des n-types pour chaque n fixé) au-dessus de A est dénombrable ; en termes informels, il n'existe que dénombrablement de manières non équivalentes dont un élément peut se comporter au‑dessus d'une base dénomb