Оценка алгоритмической сложности классов вычислимых моделей

Оценивается алгоритмическая сложность индексных множеств естественных классов вычислимых моделей: конечных вычислимых моделей ($\Sigma_2^0$-полное), вычислимых моделей с $\omega$-категоричными теориями ($\Delta_\omega^0$-сложное $\Pi_{\omega+2}^0$-множество), простых моделей ($\Delta_\omega^0$-сложное $\Pi_{\omega+2}^0$-множество), моделей с $\omega_1$-категоричными теориями ($\Delta_\omega^0$-сложное $\Sigma_{\omega+1}^0$-множество). Получена универсальная нижняя оценка для теоретико-модельных свойств, сохраняющихся при маркеровских расширениях ($\Delta_\omega^0$).