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

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

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


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




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

Сибирский математический журнал, 1974, том 15, номер 5, страницы 1131–1137 (Mi smj4313)  
Эта публикация цитируется в 6 научных статьях (всего в 6 статьях)

Отдел заметок

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

В. Г. Дурнев
PDF полного текста (421 kB) Список цитирования (6)
Аннотация: Доказывается, что не существует алгоритма, позволяющего для произвольной позитивной формулы с константами $a_1$, $a_2$ и с приставкой типа $\exists\forall\exists^3$ определить, истинна ли эта формула на свободной полугруппе с образующими $a_1$, $a_2$. Доказана алгоритмическая неразрешимость вопроса об истинности на свободной полугруппе ранга $2$ без пустого слова позитивных формул без констант с приставкой типа $\exists^3\forall\exists^4$.
Статья поступила: 29.06.1973
Англоязычная версия:
Siberian Mathematical Journal, 1974, Volume 15, Issue 5, Pages 796–800
DOI: https://doi.org/10.1007/BF00966439
Реферативные базы данных:
Тип публикации: Статья
УДК: 512:519.4
Образец цитирования: В. Г. Дурнев, “О позитивных формулах на свободных полугруппах”, Сиб. матем. журн., 15:5 (1974), 1131–1137; Siberian Math. J., 15:5 (1974), 796–800
Цитирование в формате AMSBIB
\RBibitem{Dur74}
\by В.~Г.~Дурнев
\paper О позитивных формулах на свободных полугруппах
\jour Сиб. матем. журн.
\yr 1974
\vol 15
\issue 5
\pages 1131--1137
\mathnet{http://mi.mathnet.ru/smj4313}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=0357098}
\zmath{https://zbmath.org/?q=an:0302.02015}
\transl
\jour Siberian Math. J.
\yr 1974
\vol 15
\issue 5
\pages 796--800
\crossref{https://doi.org/10.1007/BF00966439}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/smj4313
  • https://www.mathnet.ru/rus/smj/v15/i5/p1131
    • Эта публикация цитируется в следующих 6 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Сибирский математический журнал Siberian Mathematical Journal
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024