##  [Forking-Unabhängigkeit](/de/node/64001) 

 Definition

Forking-Unabhängigkeit (häufig kurz Forking) ist eine ternäre Relation a ⟂_A b (oder zwischen Typen), die aussagt, dass der Typ von a über A∪{b} nicht über A forked; anschaulich ist a unabhängig von b über A, wenn keine Formel im Typ von a über A∪{b} über A dividiert. Forking formt eine robuste Unabhängigkeitsnotion relativ zu einer vollständigen erstenordentlichen Theorie.

 

 

 

 

 

 





## Prinzip

Prinzip

Das Kernprinzip ist die Definition via Dividing: Eine Formel φ(x,b) dividiert über A, wenn sie eine inkonsistente Familie von Instanzen impliziert, indiziert durch eine indiskernible Folge über A; ein Typ forked, wenn er eine endliche Disjunktion von jeweils dividierenden Formeln impliziert. Das Prinzip liefert Lokalität, Monotonie, Invarianz und in stabilen Theorien Symmetrie und Transitivität.

 

 

 

 

 





## Demonstration

Demonstration

In einer stabilen Theorie fällt Forking-Unabhängigkeit mit Nicht-Splitting zusammen und besitzt Symmetrie: Beispielsweise entspricht in algebraisch abgeschlossenen Körpern Nicht-Forking algebraischer Unabhängigkeit, sodass zwei Tupel über einer Basis genau dann unabhängig sind, wenn keines in den algebraischen Abschluss der Basis zusammen mit dem anderen fällt.

 

 

 

 

## Fehlanwendung

Fehlanwendung

Zu glauben, Forking verhalte sich in allen Theorien einheitlich (z. B. Symmetrie oder Basis-Monotonie ohne Voraussetzungen) oder Forking mit elementaren Begriffen wie linearer oder algebraischer Unabhängigkeit in Theorien zu identifizieren, in denen diese nicht übereinstimmen, führt zu falschen Schlüssen.

 

 

 

 

 





## Konsequenz

Konsequenz

Richtig angewandt liefert Forking das zentrale Unabhängigkeitskalkül der Klassifikationstheorie: es liefert kanonische Basen, ermöglicht den Aufbau von Morley-Folgen und dient als Detektor für Stabilität, Simplizität, NIP und andere Trennlinien in der Modelltheorie.

 

 

 

 

## Umkehrung

Umkehrung

Forking-Abhängigkeit ist die Negation: Ein Typ forked über A, wenn er kombinatorische Komplexität relativ zu A (via Dividing) encodiert und somit eine Abhängigkeit anzeigt, die freie Fortsetzung verhindert; Abhängigkeit zeigt nichttriviale Wechselwirkung zwischen Parametern und Typ an.

 

 

 

 

 





## Abgrenzung

Abgrenzung

Forking ist theorieabhängig und wird relativ zu einer vollständigen Theorie und dem gewählten ambienten Modell (gewöhnlich ein Monster) definiert. Seine formalen Eigenschaften variieren: volle Symmetrie und Transitivität gelten in stabilen Theorien, können jedoch in anderen Klassen versagen oder durch Kim-Unabhängigkeit, Thorn-Forking etc. ersetzt werden müssen.

 

 

 

 

 





## Semantische Spannung

Semantische Spannung

Es besteht semantische Spannung zwischen Forking und alternativen Unabhängigkeitsbegriffen (Thorn-Forking, Kim-Unabhängigkeit, Nicht-Dividieren): Alle wollen Unabhängigkeit erfassen, unterscheiden sich jedoch in technischer Definition und Angemessenheit in instabilen Kontexten, weshalb die Wahl je nach betrachteter Trennlinie sorgfältig erfolgen muss.

 

 

 

 

 





## Synthese

Synthese

Forking-Unabhängigkeit ist das modelltheoretische Werkzeug, das erkennt, wann Typen sich frei über einer Basis fortsetzen: definiert via Dividing und eingerahmt durch Eigenschaften wie Invarianz und in guten Theorien Symmetrie und Transitivität, vereinigt es viele algebraische Intuitionen von Unabhängigkeit zu einem sprachsensitiven, theorieabhängigen Kalkül.