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

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

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

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

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

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

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

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

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.