Strongly dependent theories
arXiv:math/0504197
Abstract
We further investigate the class of models of a strongly dependent (first order complete) theory T, continuing math.LO/0406440. If |A|+|T|<= mu, I subseteq C, |I| >=beth_{|T|^+}(mu) then some J subseteq I of cardinality mu^+ is an indiscernible sequence over A .
Cited by in corpus (8)
- Distal and non-distal NIP theories
- On VC-density over indiscernible sequences
- Additivity of the dp-rank
- Externally definable sets and dependent pairs II
- Theories without the tree property of the second kind
- On dp-minimal ordered structures
- Chain conditions in dependent groups
- On genericity and weight in the free group