In , 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.
|Number of pages||11|
|Journal||Journal of the London Mathematical Society|
|Publication status||Published - 1998 Apr|
All Science Journal Classification (ASJC) codes