## [Independencia por Forking](/es/node/60098) Definición Una relación ternaria entre conjuntos de parámetros A, B sobre una base C en teoría de modelos (típicamente en teorías estables o simples) que expresa que el tipo de A sobre B∪C no hace forking sobre C; generaliza la independencia de estilo lineal y mide la ausencia de nueva información divisiva introducida por B más allá de C. ## Principio Principio La independencia se rige por la invariancia bajo automorfismos que fijan la base, monotonicidad, simetría, transitividad, existencia y extensión; el no-forking captura la ausencia de fórmulas divisivas y organiza el cálculo de independencia en contextos estables y simples. ## Demostración Demostración En un cuerpo algebraicamente cerrado, el no-forking de tuplas sobre una base coincide con la independencia algebraica: una tupla a no hace forking sobre C con B exactamente cuando el grado de trascendencia de C(a) sobre C es igual al de C(a) sobre C(B). ## Aplicación incorrecta Aplicación incorrecta Tratar el forking simplemente como no-derivabilidad sintáctica o equipararlo con cualquier noción informal de independencia fuera de las propiedades model-teóricas (por ejemplo, usarlo ingenuamente en teorías que no son ni simples ni estables donde la relación pierde propiedades esperadas). ## Consecuencia Consecuencia Cuando se aplica correctamente, la independencia por forking proporciona un cálculo de independencia sólido: produce bases canónicas, controla grupos y geometrías definibles y permite transferir estructura de clasificación entre modelos. ## Inversión Inversión La noción inversa es forking/dividing: A hace forking sobre C con B cuando alguna fórmula del tipo de A sobre B∪C divide sobre C, indicando dependencia genuina o complejidad combinatoria introducida por B. ## Límite Límite Definida en teoría de modelos de primer orden para teorías completas; las propiedades buenas usuales requieren estabilidad o simplicidad. Fuera de esos marcos (por ejemplo, teorías inestables arbitrarias) el no-forking puede fallar en la extensión o simetría, o comportarse patológicamente. ## Tensión semántica Tensión semántica Compite con otras nociones de independencia (independencia algebraica, independencia lineal, thorn-forking, Kim-forking): cada una capta una intuición y restricciones técnicas distintas; elegir una implica sacrificar generalidad por axiomas deseables. ## Síntesis Síntesis La independencia por forking formaliza cuándo un conjunto de parámetros no añade nueva información divisiva respecto a una base: mediante la invariancia automórfica y los axiomas de extensión/simetría organiza los tipos en un cálculo de independencia central para la teoría de clasificación.