СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

Подзоров С. Ю. Об определении лахлановской полурешетки // Том 47 (2006), Номер 2, стр. 383–393
Исследуются алгоритмические свойства
полурешеток, введенных в 1972~г. Лахланом при
изучении рекурсивно перечислимых $m$-степеней (так называемых лахлановских
полурешеток). Показано, что в~данном Лахланом определении условие на
эффективность операции пересечения
в~задающей полурешетку последовательности можно опустить.
© Сибирский Математический Журнал, 2003-2006