Сибирский математический журнал
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Сиб. матем. журн.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Сибирский математический журнал, 1982, том 23, номер 3, страницы 147–154 (Mi smj6596)  

Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)

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

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

Иркутский государственный университет им. А. А. Жданова
Аннотация: Элементарная теория булевых алгебр в их естественной сигнатуре разрешима. В настоящей работе доказывается неразрешимость теории булевых алгебр в сигнатуре расширенной операцией автоморфизма.
Библ. 3.
Статья поступила: 04.08.1981
Англоязычная версия:
Siberian Mathematical Journal, 1982, Volume 23, Issue 3, Pages 408–415
DOI: https://doi.org/10.1007/BF00973498
Реферативные базы данных:
Тип публикации: Статья
УДК: 519.4
Образец цитирования: В. И. Мартьянов, “Неразрешимость теории булевых алгебр с автоморфизмом”, Сиб. матем. журн., 23:3 (1982), 147–154; Siberian Math. J., 23:3 (1982), 408–415
Цитирование в формате AMSBIB
\RBibitem{Mar82}
\by В.~И.~Мартьянов
\paper Неразрешимость теории булевых алгебр с автоморфизмом
\jour Сиб. матем. журн.
\yr 1982
\vol 23
\issue 3
\pages 147--154
\mathnet{http://mi.mathnet.ru/smj6596}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=0658111}
\zmath{https://zbmath.org/?q=an:0503.03018}
\transl
\jour Siberian Math. J.
\yr 1982
\vol 23
\issue 3
\pages 408--415
\crossref{https://doi.org/10.1007/BF00973498}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:A1982QC75800013}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/smj6596
  • https://www.mathnet.ru/rus/smj/v23/i3/p147
  • Эта публикация цитируется в следующих 2 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Сибирский математический журнал Siberian Mathematical Journal
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024