is a mu-saturated model of T_1 and |M| >= kappa then the reduct M restriction L(T) is kappa-saturated. We characterize theories which are superstable without f.c.p., or without f.c.p. as, respectively those where saturation is (aleph_0, lambda)-transferable or (kappa (T), lambda)-transferable for all lambda . Further if for some mu >= |T|, 2^mu > mu^+, stability is equivalent to for all mu >= |T|, saturation is (mu,2^mu)-transferable.
Back to the list of publications