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

Доказывается, что для счетной стабильной теории условие неразделимости типа $p$ над $A$, введенное Шелахом, равносильно совпадению рангов $R(p)$ и $R(p\upharpoonright A)$. При этом от функции $R$ требуется лишь свойство полной нормальности, введенное Т. Г. Мустафиным. В частности, в качестве $R$ можно взять ранговые функции Морли, Лахлана или Шелаха. Приводятся доказательства других свойств неразделимости.