Unidimensional theories are superstable (Q749523)

A first order theory T of power \(\lambda\) is called unidimensional if any two \(\lambda^+\)-saturated models of T of the same sufficiently large cardinality are isomorphic. An equivalent definition: T is unidimensional iff it is stable and any two non-algebraic types are non-orthogonal. S. Shelah asked whether an unidimensional theory is superstable. The author solves the problem in the positive. The theorem is proved by a closer analysis of the non-orthogonality relation. The proof involves an existence theorem and a definability theorem for definable groups in stable theories, and an analysis of their relation to regular types.