Эта публикация цитируется в
2 статьях
$\Sigma$-сводимость и $lm$-сводимость множеств и последовательностей множеств
Д. Х. Зайнетдинов Казанский (Приволжский) федеральный университет, г. Казань, 420008, Россия
Аннотация:
В работе изучены предельно монотонные множества, пары множеств, а также последовательности, состоящие из бесконечных множеств. Исследованы основные свойства предельно монотонной сводимости между двумя множествами, между множеством и парой множеств, определенной в терминах
$\Sigma$-сводимости соответствующих семейств специального вида. Кроме того, получено описание
$\Sigma$-сводимости семейств специального вида в терминах
$lm$-сводимости и показана взаимосвязь понятий
$lm$-сводимости последовательностей множеств и
$\Sigma$-сводимости семейств специального вида для данных последовательностей множеств.
Ключевые слова:
вычислимая функция,
$\Sigma$-сводимость, предельно монотонная функция, предельно монотонные множества, предельно монотонная сводимость, последовательность бесконечных множеств, семейство подмножеств натуральных чисел.
УДК:
510.5 Поступила в редакцию: 24.12.2015
Полный текст:
PDF файл (618 kB)