О конструктивных моделях теорий с линейным порядком Рудина–Кейслера

В [7] Судоплатовым была получена синтаксическая характеризация класса эренфойхтовых теорий. Было доказано, что в качестве параметров, задающих любую эренфойхтову теорию, можно взять конечный предпорядок (предпорядок Рудина–Кейслера) и функцию, действующую из этого предпорядка в множество натуральных чисел.
Одним из основных результатов данной работы является следующий. Для всех $1\leqslant n\in\omega$ существует эренфойхтова теория $T_n$, такая, что $RK(T_n)\cong L_n$, все квази-простые модели теории $T_n$ не конструктивизируемы, существует конструктивизируемая модель теории $T_n$.