RUS  ENG
Полная версия
ЖУРНАЛЫ // Математические заметки // Архив
Матем. заметки, 1989, том 46, выпуск 6, страницы 53–56 (Mi mzm3639)
Эта публикация цитируется в 1 статье

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

З. А. Дулатова


Аннотация: Доказывается, что любое рекурсивно перечислимо аксиоматизируемое расширение теории булевых алгебр с выделенной подалгеброй имеет конструктивную модель.
Библиогр. 1 назв.

УДК: 510.6

Поступило: 04.01.1987


 Англоязычная версия: Mathematical Notes, 1989, 46:6, 924–926

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

© МИАН, 2024