## [Teoría Simple](/es/node/63607) Definición 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 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 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 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 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 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 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 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 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.