Submission date: 21 October 2012.

Abstract:

We prove two results about generically stable types p in arbitrary theories. The first, on existence of strong germs, generalizes results from D. Haskell, E. Hrushovski and D. Macpherson on stably dominated types. The second is an equivalence of forking and dividing, assuming generic stability of p^(m) for all m. We use the latter result to answer in full generality a question posed by Hasson and Onshuus: If p(x)\in S(B) is stable and does not fork over A then p\restriction A is stable. (They had solved some special cases.)

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1210.5957: pdf, ps.