Kim, Byunghan Forking in simple unstable theories. (English) Zbl 0922.03048 J. Lond. Math. Soc., II. Ser. 57, No. 2, 257-267 (1998). In “Simple unstable theories” [Ann. Math. Logic 19, 177-203 (1980; Zbl 0489.03008)]S. Shelah introduced a class of first order theories, which he called simple, properly containing the class of stable theories. We prove for simple theories, (i) the equivalence of forking and dividing, (ii) the symmetry and transitivity of forking. Reviewer: B.Kim (Notre Dame / IN) Cited in 2 ReviewsCited in 49 Documents MSC: 03C45 Classification theory, stability, and related concepts in model theory 03E35 Consistency and independence results Keywords:simple theories; forking; dividing; symmetry; transitivity Citations:Zbl 0489.03008 PDFBibTeX XMLCite \textit{B. Kim}, J. Lond. Math. Soc., II. Ser. 57, No. 2, 257--267 (1998; Zbl 0922.03048) Full Text: DOI