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

Статья посвящена исследованию связей между различными вычислимыми представлениями множества натуральных чисел с естественным линейным порядком. На множестве таких представлений вводятся два отношения сводимости, каждое из которых определяет соответствующее множество степеней и отношение частичного порядка на этих степенях. Исследуются вопросы, связанные с алгебраическими структурами множеств степеней и взаимным расположением степеней разного вида.