Вычисление и мажорирование функции Рылль-Нардзевского

Для счётно категоричной теории $\mathrm T$ рассматривается вопросы, связанные со сложностью как функции, вычисляющей число $n$-типов, совместимых с $\mathrm T$, так и её мажорирующих функций.