On the existence of regular types (Q911582)

Suppose that T is superstable and \(M\subseteq N\) are distinct models of \(T^{eq}\). The main results of the paper state the existence of regular types over M which are realized in N (without or with some additional conditions). Their analogs are well known for totally transcendental theories. Using these results the authors obtain tree decompositions of models in superstable theories with NDOP and show the constructibility of a model over its decomposition with respect to a very strong isolation relation.