##  [Indépendance par Forking](/fr/node/60097) 

  ##  [Indépendance par Forking](https://mathlogic.quantumdictionary.io/fr/node/60098) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Définition

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.

 

 

 

 

 





 

 



 ##  [Indépendance par Forking](https://algebra.quantumdictionary.io/fr/node/64001) 

  

 [![Algebra](/sites/default/files/styles/large/public/2026-01/Algebra.png.webp?itok=3pHxBnUF)](/topic-specific-dictionaries/pure-mathematics/algebra)

- Pure Mathematics -

**Algebra Dictionary**

 







 

 

 

 



 

 

 

 

Définition

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.