О классификации суперстабильных теорий по ранговым функциям

Вводится общий топологический способ задания ранговых функций, снабженных четверками кардиналов, и доказывается, что все ранговые функции, получаемые этим способом, являются вполне нормальными. Варьируя четверку кардиналов, можно получить каждую из известных вполне нормальных ординальнозначных ранговых функций, в том числе и функцию Ласкара. Других классов счетных полных теорий, которые описывались бы с помощью топологических ранговых функций и были бы отличны от классов тотально трансцендентных, почти $\omega$-стабильных и суперстабильных теорий, не существует.