Simplicidad

Una propiedad que marca una línea divisoria en teoría de modelos: una teoría completa de primer orden es simple si admite una noción bien comportada de independencia (forking) que generaliza el caso estable. Equivalente: las teorías simples excluyen la propiedad del árbol (TP) que produce patrones de forking patológicos.