FANDOM


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| $?).