Алгебра и логика,
2003, том 42, номер 4, страницы 413–421
(Mi al38)
|
Эта публикация цитируется в
6 статьях
Необходимые условия изоморфизма полурешеток Роджерса конечных частично упорядоченных множеств
Ю. Л. Ершов
Аннотация:
Устанавливается необходимое условие изоморфизма полурешеток Роджерса вычислимых нумераций конечных семейств вычислимо перечислимых множеств.
Ключевые слова:
вычислимая нумерация, вычислимо перечислимое множество, полурешетка Роджерса.
УДК:
517.11
Поступило: 21.03.2003
© , 2024