Конструктивные и неконструктивные бесконечные формулы в вычислимых моделях

Рассматривается переход от произвольных $L_{\omega_1\omega}$-формул к вычислимым формулам в классе вычислимых моделей. Показывается, что такой переход возможен, при этом сложность формул удваивается. Анализируется также скачок сложности при переходе от произвольного семейства Скотта из $L_{\omega_1\omega}$-формул к вычислимому семейству Скотта в фиксированной вычислимой модели, находятся его точные оценки.