Forking-Unabhängigkeit

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.

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.