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.
CITATION STYLE
Laskowski, M., & Shelah, S. (2010). A trichotomy of countable, stable, unsuperstable theories. Transactions of the American Mathematical Society, 363(3), 1619–1629. https://doi.org/10.1090/s0002-9947-2010-05196-7
Mendeley helps you to discover research relevant for your work.