Аннотация:
Изучаются предельно монотонные множества и пары множеств. Исследуются свойства предельно монотонной сводимости между множествами, между парами множеств, определенной в терминах $\Sigma$-сводимости соответствующих начальных сегментов множеств. Кроме того, получено описание $\Sigma$-сводимости семейств специального вида в терминах $lm$-сводимости. Вместе с тем показана взаимосвязь понятий $lm$-сводимости и $\Sigma$-сводимости между парами множеств.
Ключевые слова:вычислимые функции, $\Sigma$-сводимость, $\Sigma^0_2$-множества, предельно монотонная функция, предельно монотонные множества, предельно монотонная сводимость, пара множеств, семейство подмножеств натуральных чисел.
УДК:510.5
Представлено членом редколлегии:М. М. Арсланов Поступила: 11.09.2015