Forking in Simple Unstable Theories
Byunghan Kim · Journal of the London Mathematical Society · 1998
In [9], Shelah introduced a class of first order theories, which he called simple, properly containing the class of stable theories. Here we prove for simple theories, (i) the equivalence of forking and dividing, (ii) the symmetry and transivity of forking.