## [Simplicidad](/es/node/60378) Definición 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. ## Principio Principio Generalizar y controlar la independencia prohibiendo los patrones combinatorios arbóreos específicos que causan forking caótico; esto genera una relación de independencia que satisface simetría, transitividad (en formas apropiadas), extensión y carácter local en muchos entornos. ## Demostración Demostración Ejemplo ilustrativo: ciertas estructuras relacionales homogéneas y muchas teorías naturales inestables pero bien comportadas son simples; en estos contextos el forking se comporta de modo análogo al caso estable, permitiendo teoremas de independencia y análisis de bases canónicas adaptados al marco simple. ## Aplicación incorrecta Aplicación incorrecta Tratar la simplicidad como si implicara estabilidad, o esperar que todas las herramientas y resultados de clasificación de la teoría estable se transfieran textualmente; suponer que la simplicidad resuelve toda cuestión de independencia sin comprobar hipótesis locales puede conducir a afirmaciones estructurales incorrectas. ## Consecuencia Consecuencia La simplicidad suministra un cálculo robusto de independencia: permite un cálculo generalizado de forking/dividing, teoremas de independencia para tipos y análisis estructural de grupos y cuerpos definibles en un entorno no estable pero controlado. ## Inversión Inversión La negación (teorías no simples) admite la propiedad del árbol y exhibe comportamiento de forking caótico con muchos patrones combinatorios patológicos, socavando los intentos de desarrollar un cálculo coherente de independencia. ## Límite Límite Propiedad de teorías completas de primer orden relativa a la ausencia de la propiedad del árbol TP1; se aplica a toda la teoría (no solo a fórmulas individuales) y no implica automáticamente otras nociones de nitidez como NIP o NTP2, aunque hay solapamientos en ejemplos. ## Tensión semántica Tensión semántica Existe tensión entre simplicidad y tanto la estabilidad como NIP: la simplicidad generaliza la estabilidad en una dirección distinta a NIP, por lo que algunas consecuencias de la estabilidad pueden fallar en teorías simples mientras otras afirmaciones de independencia subsisten; distinguir esto es esencial. ## Síntesis Síntesis La simplicidad aísla las teorías en las que el forking admite una noción de independencia controlada y respetuosa de la simetría al prohibir los patrones arbóreos que producen divisionamientos patológicos; es una línea divisoria que preserva muchos argumentos del estilo estable y acomoda una clase más amplia de teorías inestables.