Dependent first order theories, continued
- First Online:
- Cite this article as:
- Shelah, S. Isr. J. Math. (2009) 173: 1. doi:10.1007/s11856-009-0082-1
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.