## [Independencia por Forking](/es/node/64001) Definición 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 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 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 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 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 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 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 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 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.