Ранги для стабильных диаграмм

Для типов, реализуемых в достаточно однородной модели с диаграммой $D$, вводится понятие ранга и доказывается, что 1) если любой тип имеет ранг $<\infty$, то диаграмма стабильна; 2) если диаграмма $D$ стабильна, то имеется достаточно много неалгебраических типов ранга $<\infty$.