Ω-Estabilidad

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.