科研之友
微信
新浪微博
Facebook
分享链接
摘要
Every countable, strictly stable theory either has the Dimensional Order Property (DOP), is deep, or admits an 'abelian group witness to unsuperstability'. To obtain this and other results, we develop the notion of a 'regular ideal' of formulas and study types that are minimal with respect to such an ideal.
- 出版日期2011-3
