RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирский математический журнал // Архив
Сиб. матем. журн., 1982, том 23, номер 1, страницы 199–201 (Mi smj6557)
Отдел заметок

О разрешимости теорий булевых алгебр с выделенным идеалом

А. С. Морозов

Новосибирский государственный университет им. Ленинского комсомола

Аннотация: Построены примеры булевых алгебр с идеалом, теория которых неразрешима.
Библ. 2.

УДК: 517.11

Статья поступила: 27.06.1980



Реферативные базы данных:

© МИАН, 2024