Представления отношения соседства вычислимого линейного порядка

Доказано, что нетривиальный спектр отношения соседства вычислимых линейных порядков, являющихся или строго $\eta$-схожими, или не $\eta$-схожими, замкнут наверх в классе вычислимо перечислимых степеней. Также показано, что спектр отношения соседства содержит $\mathbf0$ тогда и только тогда, когда он либо тривиальный, либо содержит все вычислимо перечислимые степени.