Quantcast

Strongly dependent theories

Research paper by Saharon Shelah

Indexed on: 14 Feb '09Published on: 14 Feb '09Published in: Mathematics - Logic



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 .