Indépendance par Forking

Une relation ternaire entre ensembles de paramètres A, B au-dessus d'une base C en théorie des modèles (typiquement pour les théories stables ou simples) exprimant que le type de A sur B∪C ne fork pas sur C ; elle généralise l'indépendance de style linéaire et mesure l'absence d'information divisante nouvelle apportée par B au-delà de C.

L'indépendance par forking (souvent abrégée forking) est une relation ternaire a ⟂_A b (ou entre types) exprimant que le type de a sur A∪{b} ne fork pas sur A ; intuitivement, a est indépendant de b sur A lorsque aucune formule du type de a sur A∪{b} ne divise sur A. Le forking formalise une notion robuste d'indépendance relative à une théorie complète du premier ordre.