The stable forking conjecture and generic structures (Q1407602)

This paper fits into the general context of extending stability theory to the broader context of simple theories. A theory is said to have the stable forking property if whenever a type \(p\in S(M)\) forks over \(A\subset M\), then this is witnessed by a stable formula. All known simple theories have this property, and the Stable Forking Conjecture says that this should be true for all simple theories. The generic structure method of Hrushovski has been used to refute some important conjectures about stable theories and this construction has been extended to simple theories. In this context, there is a natural, real-valued dimension (\(d\)-dimension). In this paper the author proves that for any simple theory which is constructed by the Fräissé-Hrushovski method, if forking independence is the same as \(d\)-independence, then the stable forking property holds for this theory. \textit{D. Evans} [Ann. Pue Appl. Logic 116, 157-186 (2002; Zbl 1002.03022)] has proved related results independently.