##  [Ω-Estabilidad](/index.php/es/node/60381) 

  ##  [Ω-Estabilidad](https://mathlogic.quantumdictionary.io/es/node/60382) 

  

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

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Definición

Una propiedad de complejidad/completez de una teoría de primer orden: la teoría es ω‑estable si para todo conjunto de parámetros contable A el espacio de tipos completos de una variable (o tipos n para cada n fijo) sobre A es contable; informalmente, existen solo contablemente muchas maneras no equivalentes en que un elemento puede comportarse sobre una base contable.