Dependent first order theories, continued

by Shelah. [Sh:783]
Israel J Math, 2009
A dependent theory is a (first order complete theory) T which does not have the independence property. A major result here is: if we expand a model of T by the traces on it of sets definable in a bigger model then we preserve its being dependent. Another one justifies the cofinality restriction in the theorem (from a previous work) saying that pairwise perpendicular indiscernible sequences, can have arbitrary dual-cofinalities in some models containing them. We introduce ``strongly dependent'' and look at definable groups; and also at dividing, forking and relatives.


Back to the list of publications