Independencia por Forking

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.

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.