×

Forking in simple unstable theories. (English) Zbl 0922.03048

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.

MSC:

03C45 Classification theory, stability, and related concepts in model theory
03E35 Consistency and independence results

Citations:

Zbl 0489.03008
PDFBibTeX XMLCite
Full Text: DOI