## FANDOM

78 Pages

According to Poizat's book on stable groups, a stable theory is said to be unidimensional if any two non-algebraic types are non-orthogonal. It is a theorem, apparently due to Hrushovski and using stable groups, that any unidimensional theory is in fact superstable.

Unidimensional theories include things like strongly minimal theories, uncountably categorical (countable) theories, and theories $T$ which are $\kappa$-categorical for large $\kappa$ (maybe $\kappa > |T|$?).