Eine ternäre Relation zwischen Parametersätzen A, B über einer Basis C in der Modelltheorie (typischerweise in stabilen oder simplen Theorien), die aussagt, dass der Typ von A über B∪C nicht über C forked; sie verallgemeinert lineare Unabhängigkeitsbegriffe und misst das Fehlen neuer ‚dividing‘-Informationen, die B über C hinaus einführt.

Prinzip

Unabhängigkeit wird von Invarianz unter Automorphismen, die die Basis fixieren, Monotonie, Symmetrie, Transitivität sowie Existenz- und Erweiterungseigenschaften bestimmt; Non-Forking fängt das Fehlen von Dividing-Formeln ein und organisiert den Unabhängigkeitskalkül in stabilen und simplen Kontexten.

Demonstration

In einem algebraisch abgeschlossenen Körper stimmt Non-Forking von Tupeln über einer Basis mit algebraischer (feldtheoretischer) Unabhängigkeit überein: ein Tupel a forkt nicht über C mit B genau dann, wenn der Transzendenzgrad von C(a) über C gleich dem von C(a) über C(B) ist.

Fehlanwendung

Forking bloß als syntaktische Nicht-Ableitbarkeit zu interpretieren oder es mit einer informellen Unabhängigkeitsvorstellung außerhalb modelltheoretischer Eigenschaften gleichzusetzen (z. B. naive Anwendung in Theorien, die weder simpel noch stabil sind, wo die Relation erwartete Eigenschaften verliert).

Konsequenz

Richtig angewandt liefert Forking-Unabhängigkeit einen robusten Unabhängigkeitskalkül: sie liefert kanonische Basen, kontrolliert definierbare Gruppen und Geometrien und ermöglicht die Übertragung klassifikationstheoretischer Strukturen zwischen Modellen.

Umkehrung

Die Umkehr ist Forking/Dividing: A forked über C mit B genau dann, wenn eine Formel im Typ von A über B∪C über C dividiert, was auf echte Abhängigkeit oder kombinatorische Komplexität hinweist, die B einführt.

Abgrenzung

Definiert in der ersten Ordnung Modelltheorie für vollständige Theorien; die üblichen guten Eigenschaften setzen Stabilität oder Simplizität voraus. Außerhalb dieser Rahmen (z. B. willkürliche instabile Theorien) kann Non-Forking Erweiterung, Symmetrie verlieren oder pathologisch werden.

Semantische Spannung

Im Wettbewerb mit anderen Unabhängigkeitsbegriffen (algebraische Unabhängigkeit, lineare Unabhängigkeit, thorn-forking, Kim-forking): jeder erfasst eine andere Intuition und technische Anforderungen; die Wahl bedeutet Kompromisse zwischen Allgemeinheit und gewünschten Axiomen.

Synthese

Forking-Unabhängigkeit formalisiert, dass ein Parametersatz gegenüber einer Basis keine neue dividierende Information hinzufügt: durch automorphe Invarianz und die Axiome von Erweiterung/Symmetrie strukturiert sie Typen zu einem zentralen Unabhängigkeitskalkül der Klassifikationstheorie.