|
Сибирский математический журнал, 1982, том 23, номер 3, страницы 147–154
(Mi smj6596)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Неразрешимость теории булевых алгебр с автоморфизмом
В. И. Мартьянов Иркутский государственный университет им. А. А. Жданова
Аннотация:
Элементарная теория булевых алгебр в их естественной сигнатуре разрешима. В настоящей работе доказывается неразрешимость теории булевых алгебр в сигнатуре расширенной операцией автоморфизма.
Библ. 3.
Статья поступила: 04.08.1981
Образец цитирования:
В. И. Мартьянов, “Неразрешимость теории булевых алгебр с автоморфизмом”, Сиб. матем. журн., 23:3 (1982), 147–154; Siberian Math. J., 23:3 (1982), 408–415
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj6596 https://www.mathnet.ru/rus/smj/v23/i3/p147
|
|