|
|
Алгебра и логика, 1986, том 25, номер 6, страницы 631–642
(Mi al1962)
|
|
|
|
Решётка рекурсивно-перечислимых подалгебр рекурсивной булевой алгебры
С. П. Одинцов
Аннотация:
В произвольной рекурсивной булевой алгебре построена рекурсивная подалгебра, решетка рекурсивно-перечислимых надалгебр которой изоморфна решетке рекурсивно-перечислимых множеств. Это позволяет строить примеры простых гипергиперпростых и максимальных подалгебр в произвольной рекурсивной булевой алгебре.
Поступило: 22.04.1986
Образец цитирования:
С. П. Одинцов, “Решётка рекурсивно-перечислимых подалгебр рекурсивной булевой алгебры”, Алгебра и логика, 25:6 (1986), 631–642
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1962 https://www.mathnet.ru/rus/al/v25/i6/p631
|
|