FORKING IN SIMPLE UNSTABLE THEORIES

FORKING IN SIMPLE UNSTABLE THEORIES

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.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Journal of the London Mathematical Society 1998-04, Vol.57 (2), p.257-267
1. Verfasser: KIM, BYUNGHAN
Format: Artikel
Sprache:eng
Schlagworte:
Notes and Papers
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:0024-6107
1469-7750
DOI:10.1112/S0024610798005985