© 1998 by London Mathematical Society
© The London Mathematical Society
Forking in Simple Unstable Theories
Mathematical Sciences Research Institute 1000 Centennial Drive, Berkeley, California 94720-5070, USA. E-mail: bkim{at}msri.org
Received 4 July 1995. Revision received 5 February 1996.
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.