##  [Ω-Stabilité](/fr/node/60381) 

  ##  [Ω-Stabilité](https://mathlogic.quantumdictionary.io/fr/node/60382) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Définition

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