A trichotomy of countable, stable, unsuperstable theories

Michael C. Laskowski, S. Shelah

Research output: Contribution to journalArticlepeer-review

Abstract

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.

Original languageEnglish
Pages (from-to)1619-1629
Number of pages11
JournalTransactions of the American Mathematical Society
Volume363
Issue number3
DOIs
StatePublished - Mar 2011

Fingerprint

Dive into the research topics of 'A trichotomy of countable, stable, unsuperstable theories'. Together they form a unique fingerprint.

Cite this