Published online by Cambridge University Press: 17 April 2014
We prove two results about generically stable types p inarbitrary theories. The first, on existence of strong germs, generalizes resultsfrom [2] on stably dominated types. Thesecond is an equivalence of forking and dividing, assuming generic stability ofp (m) for all m. Weuse the latter result to answer in full generality a question posed by Hassonand Onshuus: If P(x) εS(B) is stable and does not fork overA then prestrictionA is stable. (They hadsolved some special cases.)