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.

Principe

L'indépendance obéit à l'invariance sous automorphismes fixant la base, à la monotonicité, à la symétrie, à la transitivité, ainsi qu'aux propriétés d'existence et d'extension ; le non-forking capture l'absence de formules divisantes et organise le calcul d'indépendance dans les contextes stables et simples.

Démonstration

Dans un corps algébriquement clos, le non-forking des tuples sur une base coïncide avec l'indépendance algébrique : un tuple a ne fork pas sur C avec B exactement lorsque le degré de transcendance de C(a) sur C est le même que celui de C(a) sur C(B).

Mauvaise application

Considérer le forking comme une simple non-dérivabilité syntaxique ou l'identifier à toute notion informelle d'indépendance en dehors des propriétés méta-modélistiques (par exemple l'utiliser naïvement dans des théories ni simples ni stables où la relation perd ses propriétés attendues).

Conséquence

Appliqué correctement, l'indépendance par forking fournit un calcul d'indépendance robuste : elle donne des bases canoniques, contrôle les groupes et géométries définissables, et permet de transférer la structure de classification entre modèles.

Inversion

La notion inverse est le forking/dividing : A fork sur C avec B lorsqu'une formule du type de A sur B∪C divide sur C, indiquant une dépendance effective ou une complexité combinatoire introduite par B.

Limite

Définie en théorie des modèles du premier ordre pour les théories complètes ; les bonnes propriétés usuelles exigent la stabilité ou la simplicité. En dehors de ces cadres (par exemple dans des théories instables arbitraires), le non-forking peut échouer à satisfaire l'extension, la symétrie ou se comporter de façon pathologique.

Tension sémantique

En tension avec d'autres notions d'indépendance (indépendance algébrique, indépendance linéaire, thorn-forking, Kim-forking) : chacune capture une intuition et des contraintes techniques différentes ; le choix implique des compromis entre généralité et axiomes désirables.

Synthèse

L'indépendance par forking formalise quand un ensemble de paramètres n'apporte pas d'information divisante nouvelle par rapport à une base : par invariance automorphique et les axiomes d'extension/symétrie, elle structure les types en un calcul d'indépendance central à la théorie de la classification.