|
Ученые записки Казанского университета. Серия Физико-математические науки, 2018, том 160, книга 3, страницы 517–527
(Mi uzku1475)
|
|
|
|
Структурные свойства предельно монотонной сводимости последовательностей множеств
Д. Х. Зайнетдинов Казанский (Приволжский) федеральный университет, г. Казань, 420008, Россия
Аннотация:
Работа посвящена изучению предельно монотонных множеств, а также исследованию основных структурных свойств предельно монотонной сводимости ($lm$-сводимости) между множеством и последовательностью множеств. Предельно монотонную сводимость можно рассматривать как частный случай $\Sigma$-сводимости, определенной на семействах начальных сегментов натуральных чисел. В настоящей работе $lm$-сводимость между множеством и последовательностью, состоящей из бесконечных множеств, будет рассмотрена на языке предельно монотонного оператора. Основным результатом работы является доказательство отсутствия наименьшей не предельно монотонной последовательности относительно $lm$-сводимости между множеством и последовательностью множеств. Данный результат будет доказан с помощью метода приоритета с бесконечными нарушениями с использованием дерева стратегий. Результат, представленный в настоящей работы, является обобщением результата об отсутствии наименьшего $\Sigma^0_2$-множества, не являющегося предельно монотонным, относительно $lm$-сводимости множеств.
Ключевые слова:
предельно монотонная функция, предельно монотонное множество, предельно монотонный оператор, предельно монотонная сводимость, последовательность множеств, $\Sigma^0_2$-множество.
Поступила в редакцию: 24.12.2017
Образец цитирования:
Д. Х. Зайнетдинов, “Структурные свойства предельно монотонной сводимости последовательностей множеств”, Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки, 160, № 3, Изд-во Казанского ун-та, Казань, 2018, 517–527
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/uzku1475 https://www.mathnet.ru/rus/uzku/v160/i3/p517
|
|