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

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

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


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




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

Алгебра и логика, 2021, том 60, номер 6, страницы 575–586
DOI: https://doi.org/10.33048/alglog.2021.60.605 (Mi al2688) 		 
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)

О сложности проблемы эквивалентности хорновским формулам

Н. Т. Когабаев

Ин-т матем. им. С. Л. Соболева СО РАН, г. Новосибирск, РОССИЯ
PDF полного текста (359 kB) Список цитирования (2)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.33048/alglog.2021.60.605
Аннотация: Изучается сложность проблемы существования хорновского предложения (тождества, квазитождества, $\forall$-предложения, $\exists$-предложения), эквивалентного данному предложению. Доказывается, что если сигнатура содержит хотя бы один символ местности $k\geqslant 2$, то каждая из указанных проблем является $m$-полным $\Sigma^0_1$-множеством.
Ключевые слова: хорновская формула, $m$-сводимость, $\Sigma^0_1$-множество.
Финансовая поддержка Номер гранта
Министерство науки и высшего образования Российской Федерации 0314-2019-0002
Российский фонд фундаментальных исследований 20-01-00300
Работа выполнена в рамках государственного задания ИМ СО РАН, проект 0314-2019-0002, и при финансовой поддержке Российского фонда фундаментальных исследований, проект 20-01-00300.
Поступило: 23.10.2020
Окончательный вариант: 08.04.2022
Англоязычная версия:
Algebra and Logic, 2021, Volume 60, Issue 6, Pages 380–388
DOI: https://doi.org/10.1007/s10469-022-09665-z
Тип публикации: Статья
УДК: 510.53
Образец цитирования: Н. Т. Когабаев, “О сложности проблемы эквивалентности хорновским формулам”, Алгебра и логика, 60:6 (2021), 575–586; Algebra and Logic, 60:6 (2021), 380–388
Цитирование в формате AMSBIB
\RBibitem{Kog21}
\by Н.~Т.~Когабаев
\paper О сложности проблемы эквивалентности хорновским формулам
\jour Алгебра и логика
\yr 2021
\vol 60
\issue 6
\pages 575--586
\mathnet{http://mi.mathnet.ru/al2688}
\transl
\jour Algebra and Logic
\yr 2021
\vol 60
\issue 6
\pages 380--388
\crossref{https://doi.org/10.1007/s10469-022-09665-z}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/al2688
  • https://www.mathnet.ru/rus/al/v60/i6/p575
    Цикл статей
    Эта публикация цитируется в следующих 2 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Алгебра и логика Algebra and Logic
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025