|
Алгебра и логика, 1992, том 31, номер 1, страницы 38–46
(Mi al2180)
|
|
|
|
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)
Наследственные рекурсивно-перечислимые подалгебры рекурсивной булевой алгебры
С. П. Одинцов Институт математики Сибирского отделения Российской академии наук, г. Новосибирск
Аннотация:
Доказано, что рекурсивная подалгебра рекурсивной булевой алгебры является наследственной рекурсивно-перечислимой тогда и только тогда, когда она почти конечно-порождена. Изучены аналоги иммунных множеств в решетке рекурсивно-перечислимых подалгебр рекурсивной булевой алгебры.
Поступило: 23.01.1991
Образец цитирования:
С. П. Одинцов, “Наследственные рекурсивно-перечислимые подалгебры рекурсивной булевой алгебры”, Алгебра и логика, 31:1 (1992), 38–46
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al2180 https://www.mathnet.ru/rus/al/v31/i1/p38
|
Статистика просмотров: |
Страница аннотации: | 36 | PDF полного текста: | 10 | Список литературы: | 1 |
|