Teoría Estable

Una teoría del primer orden T es estable si para cada cardinal κ (o clásicamente para κ = |T|) el número de tipos completos sobre cualquier conjunto de parámetros de tamaño κ es a lo sumo κ; equivalentemente, T no tiene la propiedad de orden y admite una noción bien comportada de independencia (forking) usada en la teoría de clasificación.