Saturated models and models that are generated by indiscernibles (Q2732283)

Let us call a structure \(\mathfrak M\) in a countable language an Ehrenfeucht-Mostowski model if it expands, in a countable expansion of the language, to the Skolem hull of an infinite indiscernible (in the new language) sequence. \textit{J. H. Schmerl} [``Recursively saturated models generated by indiscernibles'', Notre Dame J. Formal Logic 26, 99-105 (1985; Zbl 0556.03030)] proved that a countable saturated structure is an Ehrenfeucht-Mostowski model; \textit{D. Lascar} [``Autour de la propriété du petit indice'', Proc.\ Lond.\ Math.\ Soc., III. Ser. 62, No.~1, 25-53 (1991; Zbl 0683.03017)] showed the same for the saturated model of cardinality \(\aleph_1\) of an \(\omega\)-stable theory. The author generalizes the question: he calls a structure an ACI-model (resp. DCI-model) if it expands to the algebraic (resp.\ definable) closure (in the new language) of an infinite indiscernible sequence. He shows that if a countable theory has an \(\aleph_1\)-saturated ACI-model, then it has a \(\lambda\)-saturated ACI-model for all infinite cardinals \(\lambda\), and it does not have the independence property. If it has a \(\lambda\)-saturated ACI-model, then it has a \(\lambda\)-saturated DCI-model. For a stable theory, the following are equivalent: (1) \(T\) is \(\omega\)-stable. (2) \(T\) has an \(\aleph_1\)-saturated ACI-model. (3) Every saturated model of \(T\) is an Ehrenfeucht-Mostowski model.