Однородные $O'$-элементы в структурных предпорядках

Установлено несколько результатов об алгоритмической сложности однородных моделей. Доказано, что всякая разрешимая теория имеет однородную модель, сильно конструктивную в $O'$. Проверено, что $T$-степень $O'$ нельзя заменить в этом смысле на какую-нибудь меньшую $T$-степень. Даны формулировки этих результатов с использованием терминологии структурных предпорядков.