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

Предпорядок $R$ называют линейным, если соответствующий фактор-порядок является линейно упорядоченным. Данная работа посвящена изучению вычислимой сводимости на бинарных отношениях. В работе исследуется степенная структура Celps вычислимо перечислимых линейных предпорядков относительно вычислимой сводимости.
Операция конкатенации дает упорядоченную сумму двух данных линейных предпорядков. Доказано, что элементарная теория структуры Celps с операцией конкатенации рекурсивно изоморфна арифметике первого порядка. Также показано, что теория всех счетных линейных предпорядков (относительно вычислимой сводимости) с операцией конкатенации рекурсивно изоморфна арифметике второго порядка.