Strongly dependent theories
Logic
2009-02-15 v4
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 .
Keywords
Cite
@article{arxiv.math/0504197,
title = {Strongly dependent theories},
author = {Saharon Shelah},
journal= {arXiv preprint arXiv:math/0504197},
year = {2009}
}