Una teoría de primer orden que generaliza las teorías estables al admitir una relación de independencia (forking) bien comportada sin requerir estabilidad plena; la simplicidad aísla contextos donde el cálculo del forking sigue siendo útil.

Principio

Sustituir el marco completo de estabilidad por una condición combinatoria más débil que aún produzca una noción simétrica y transitiva de independencia para los tipos, permitiendo un análogo del cálculo de independencia de la teoría estable.

Demostración

Muchas teorías de estructuras genéricas obtenidas por amalgamación controlada (por ejemplo, ciertas estructuras relacionales homogéneas) son simples: admiten una relación de forking con propiedades clave pero no son estables porque permiten mayor diversidad combinatoria.

Aplicación incorrecta

Asumir que la simplicidad implica todas las consecuencias de la teoría estable, como axiomas estrictos de rango o clasificación completa por rango de Morley; las teorías simples permiten comportamientos que están excluidos en contextos estables y requieren invariantes distintos.

Consecuencia

La simplicidad aporta un cálculo de independencia robusto aplicable a dividing y forking, posibilitando el análisis estructural de tipos y modelos, la transferencia de control combinatorio a argumentos de clasificación y la extensión de métodos geométricos más allá de las teorías estables.

Inversión

El opuesto son teorías donde fracasa cualquier intento de definir una noción de independencia simétrica y bien comportada (por ejemplo, teorías con la propiedad del árbol), y por tanto resisten la clasificación basada en forking.

Límite

Se aplica a teorías completas de primer orden; la simplicidad es más débil que la estabilidad y distinta de NIP u o-minimalidad. Excluye marcos donde dividing/forking se comportan de modo patológico o donde rasgos de orden superior alteran las propiedades de independencia.

Tensión semántica

Existe tensión con la estabilidad (más fuerte) y con NIP (otro eje de tamiz): las teorías simples permiten cierta inestabilidad mientras retienen suficiente control para un cálculo de independencia, a diferencia de la estabilidad plena o las teorías NIP que restringen otros fenómenos combinatorios.

Síntesis

Las teorías simples son teorías de primer orden que, sin ser necesariamente estables, admiten un aparato coherente de forking/dividing que soporta muchas de las análisis estructurales y geométricos propios de la teoría de la estabilidad.