|
Сибирский математический журнал, 2006, том 47, номер 2, страницы 383–393
(Mi smj864)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Об определении лахлановской полурешетки
С. Ю. Подзоров Институт математики им. С. Л. Соболева СО РАН
Аннотация:
Исследуются алгоритмические свойства полурешеток, введенных в 1972 г. Лахланом при изучении рекурсивно перечислимых $m$-степеней (так называемых лахлановских полурешеток). Показано, что в данном Лахланом определении условие на эффективность операции пересечения в задающей полурешетку последовательности можно опустить.
Ключевые слова:
дистрибутивная полурешетка, $m$-степень, арифметическая иерархия, вычислимая нумерация.
Статья поступила: 26.04.2004
Образец цитирования:
С. Ю. Подзоров, “Об определении лахлановской полурешетки”, Сиб. матем. журн., 47:2 (2006), 383–393; Siberian Math. J., 47:2 (2006), 315–323
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj864 https://www.mathnet.ru/rus/smj/v47/i2/p383
|
Статистика просмотров: |
Страница аннотации: | 243 | PDF полного текста: | 92 | Список литературы: | 57 |
|