|
Математические труды, 2002, том 5, номер 1, страницы 114–128
(Mi mt103)
|
|
|
|
Относительная сложность вычислимых представлений естественного линейного порядка на натуральных числах
С. Ю. Подзоров Институт математики им. С. Л. Соболева СО РАН
Аннотация:
Статья посвящена исследованию связей между различными вычислимыми
представлениями множества натуральных чисел с естественным линейным
порядком. На множестве таких представлений вводятся два отношения сводимости,
каждое из которых определяет соответствующее множество степеней
и отношение частичного порядка на этих степенях. Исследуются вопросы,
связанные с алгебраическими структурами множеств степеней и взаимным
расположением степеней разного вида.
Ключевые слова и фразы:
вычислимая функция, вычислимое представление, линейный порядок, сводимость, степени сложности.
Статья поступила: 27.03.2001
Образец цитирования:
С. Ю. Подзоров, “Относительная сложность вычислимых представлений естественного линейного порядка на натуральных числах”, Матем. тр., 5:1 (2002), 114–128; Siberian Adv. Math., 12:4 (2002), 44–56
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mt103 https://www.mathnet.ru/rus/mt/v5/i1/p114
|
Статистика просмотров: |
Страница аннотации: | 218 | PDF полного текста: | 103 | Список литературы: | 54 | Первая страница: | 1 |
|