On countable simple unidimensional theories

摘要

We prove that any countable simple unidimensional theory T is supersimple, under the additional assumptions that T eliminates hyperimaginaries and that the D_φ-ranks are finite and definable.