La independencia por forking (a menudo abreviada forking) es una relación ternaria a ⟂_A b (o entre tipos) que expresa que el tipo de a sobre A∪{b} no hace forking sobre A; intuitivamente, a es independiente de b sobre A cuando ninguna fórmula del tipo de a sobre A∪{b} divide sobre A. Forking formaliza una noción robusta de independencia relativa a una teoría completa de primer orden.

Principio

En el fondo, forking se define mediante dividing: una fórmula φ(x,b) divide sobre A si implica una familia inconsistente de instancias indexada por una secuencia indiscernible sobre A; un tipo hace forking si implica una disyunción finita de fórmulas que dividen. El principio conlleva localidad, monotonía, invariancia y, en teorías estables, simetría y transitividad.

Demostración

En una teoría estable, la independencia por forking coincide con la no-splitting y tiene simetría: por ejemplo, en cuerpos algebraicamente cerrados no-forking de tuplas corresponde a independencia algebraica, por lo que dos tuplas son independientes sobre una base exactamente cuando ninguna pertenece al cierre algebraico de la base con la otra.

Aplicación incorrecta

Suponer que el forking se comporta uniformemente en todas las teorías (p. ej., que tiene simetría o monotonía de base sin hipótesis) o identificar forking con nociones más elementales como independencia lineal o algebraica en teorías donde no coinciden conduce a deducciones inválidas.

Consecuencia

Bien aplicado, forking proporciona el cálculo de independencia principal en la teoría de clasificación: produce bases canónicas, permite construir secuencias de Morley y sirve como detector de estabilidad, simplicidad, NIP y otras líneas de separación en teoría de modelos.

Inversión

La dependencia por forking es la negación: un tipo hace forking sobre A cuando codifica complejidad combinatoria relativa a A (mediante dividing) e indica así una dependencia que impide la extensión libre; la dependencia evidencia interacción no trivial entre parámetros y el tipo.

Límite

El forking depende de la teoría y se define respecto a una teoría completa y al modelo ambiente elegido (habitualmente un monstruo). Sus propiedades formales varían: la simetría y transitividad plenas se cumplen en teorías estables, pero pueden fallar o requerir sustitutos (independencia de Kim, thorn-forking, etc.) en otras clases.

Tensión semántica

Existe tensión semántica entre forking y nociones alternativas de independencia (thorn-forking, Kim-independence, non-dividing): todas intentan capturar la independencia pero difieren en definición técnica y adecuación en contextos inestables, por lo que la elección debe ser cuidadosa según la línea de división estudiada.

Síntesis

La independencia por forking es el instrumento modeloteórico que detecta cuándo los tipos se extienden libremente sobre una base: definido mediante dividing y enmarcado por propiedades como invariancia y, en teorías buenas, simetría y transitividad, unifica muchas intuiciones algebraicas de independencia en un cálculo dependiente de la teoría y sensible al lenguaje.