Abstract
AbstractWe study the behaviour of stable types in rosy theories. The main technical result is that a non-þ-forking extension of an unstable type is unstable. We apply this to show that a rosy group with a þ-generic stable type is stable. In the context of super-rosy theories of finite rank we conclude that non-trivial stable types of Uþ-rank 1 must arise from definable stable sets.
Publisher
Cambridge University Press (CUP)
Reference22 articles.
1. A Course in Model Theory
2. Onshuus A. and Usvyatsov A. , Orthogonality and domination in unstable theories, available at http://arxiv.org/abs/0909.3753v1, 2009.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Non-forking and preservation of NIP and dp-rank;Annals of Pure and Applied Logic;2021-06
2. Type decomposition in NIP theories;Journal of the European Mathematical Society;2019-10-28
3. GENERIC STABILITY AND STABILITY;The Journal of Symbolic Logic;2014-03
4. Generic stability, forking, and þ-forking;Transactions of the American Mathematical Society;2012-07-24
5. Stable domination and weight;Annals of Pure and Applied Logic;2011-06