В. И. Мартьянов, “Неразрешимость теории булевых алгебр с автоморфизмом”, Сиб. матем. журн., 1982, том 23, номер 3,страницы 147

Эта публикация цитируется в 2 статьях

Неразрешимость теории булевых алгебр с автоморфизмом

В. И. Мартьянов

Иркутский государственный университет им. А. А. Жданова

Аннотация: Элементарная теория булевых алгебр в их естественной сигнатуре разрешима. В настоящей работе доказывается неразрешимость теории булевых алгебр в сигнатуре расширенной операцией автоморфизма.
Библ. 3.

УДК: 519.4

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