Об одном классе низких линейных порядков, имеющих вычислимые представления

Показывается, что любой низкий линейный порядок вида $\mathcal{L}+\omega^*$, где $\mathcal{L}$ — некоторое $\eta$-представление, имеет вычислимую копию. Этот результат контрастирует с существованием низких $\eta$-представлений, не имеющих вычислимой копии.