Вычислимые вложения для пар линейных порядков

Изучаются вычислимые вложения для пар структур, т. е. для классов, содержащих в точности две неизоморфные структуры. Даже в случае относительно простых пар линейных порядков вычислимые вложения индуцируют нетривиальную структуру степеней. Основной результат состоит в следующем: пара $\{\omega\cdot k,\omega^\star\cdot k\}$ вычислимо вложима в $\{\omega\cdot t,\omega^\star\cdot t\}$ в том и только том случае, если $k$ делит $t$.