|
Математические заметки, 1989, том 46, выпуск 6, страницы 53–56
(Mi mzm3639)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
О конструктивизируемости булевых алгебр с выделенной подалгеброй
З. А. Дулатова
Аннотация:
Доказывается, что любое рекурсивно перечислимо аксиоматизируемое расширение
теории булевых алгебр с выделенной подалгеброй имеет конструктивную модель.
Библиогр. 1 назв.
Поступило: 04.01.1987
Образец цитирования:
З. А. Дулатова, “О конструктивизируемости булевых алгебр с выделенной подалгеброй”, Матем. заметки, 46:6 (1989), 53–56; Math. Notes, 46:6 (1989), 924–926
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm3639 https://www.mathnet.ru/rus/mzm/v46/i6/p53
|
Статистика просмотров: |
Страница аннотации: | 205 | PDF полного текста: | 87 | Первая страница: | 1 |
|