Homogeneous models of stable theories (Q1914755)

The author studies homogeneous models which only realize certain types. More precisely, let \(D(T)\) be the set of types of finite tuples over \(\emptyset\) of some complete first-order theory \(T\), and for a set \(A\) let \(D(A)\) be the set of types over \(\emptyset\) of finite tuples from \(A\). If \(D \subseteq D(T)\), a \(D\)-set \((D\)-model) is a set (model) \(A\) with \(D(A) \subseteq D\), and a \(D\)-type over a \(D\)-set \(A\) is a type over \(A\) such that \(D(A \cup \{a\}) \subseteq D\) for any realization \(a\) of the type. A model \({\mathcal M}\) is \((D, \lambda)\)-homogeneous if \(D({\mathcal M}) = D\) and \({\mathcal M}\) is \(\lambda\)-homogeneous; \(D\) is \(\lambda\)-stable if over any set of cardinality \(\lambda\) there are at most \(\lambda\) distinct \(D\)-types and if there is a \((D, \lambda^+)\)-homogeneous model. Extending work of \textit{S. Shelah} [Ann. Math. Logic 2, 69-118 (1970; Zbl 0204.31104)], various classification-theoretic questions are considered for the class of \((D,\lambda)\)-homogeneous models, under varying stability assumptions on \(T\) \((\omega\)-stability, superstability, \(\lambda\)-stability): existence of \((D, \lambda)\)-prime models over a \(D\)-set, existence and characterization of \((D, \lambda)\)-homogeneous models, existence and characterization of \(D\)-saturated models (models \({\mathcal M}\) with \(D ({\mathcal M}) = D\) and \(|p^{\mathcal M} |= |{\mathcal M} |\) for every non-algebraic \(D\)-type \(p\) over less than \(|{\mathcal M} |\) parameters from \({\mathcal M})\), behaviour of \((D, \lambda)\)-homogeneity under unions of elementary chains, and a categoricity theorem (if \(T\) is superstable and has up to isomorphism only one \((D, \lambda) \)-homogeneous model in some power \(> \lambda (T)\), then this is true in every such power). From this, the author derives information about \(\lambda\)-homogeneous models in general: a condition for \(\kappa\)-homogeneity to imply \(\lambda\)-homogeneity (for \(\kappa < \lambda)\), or even homogeneity or hyperhomogeneity. If \(T\) is both \(\lambda\)- and \(\kappa\)-stable for some \(\kappa > \lambda\), then the number of non-isomorphic homogeneous models of cardinality \(\kappa\) equals the number of non-isomorphic homogeneous models of cardinality \(\lambda\) which contain an infinite indiscernible sequence (and in particular does not depend on \(\kappa)\); if \(T\) is \(\omega\)-stable and has uncountably many non-isomorphic homogeneous models in some uncountable power, then \(T\) has continuum many non-isomorphic homogeneous models in every infinite power.