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

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

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


Докл. РАН. Матем., информ., проц. упр.:
Год:
Том:
Выпуск:
Страница:
Найти




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

Доклады Российской академии наук. Математика, информатика, процессы управления, 2024, том 516, страницы 15–20
DOI: https://doi.org/10.31857/S2686954324020035 (Mi danma507) 		 
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

МАТЕМАТИКА

О неразрешимости теорий подмножеств некоторых унаров

Б. Н. Карлов

Тверской государственный университет, Тверь, Россия
Список цитирования (1)
DOI: https://doi.org/10.31857/S2686954324020035
Аннотация: В данной работе исследуются алгоритмические свойства унаров с разнозначной функцией. Мы доказываем, что теория любого такого унара допускает элиминацию кванторов при подходящем обогащении сигнатуры счётным множеством предикатных символов. Устанавливаются необходимые и достаточные условия для того, чтобы элиминация кванторов была эффективной, и формулируется критерий разрешимости теорий таких унаров. С помощью полученного критерия приводится пример такого унара с разрешимой теорией, что теория унара его подмножеств неразрешима.
Ключевые слова: унар, теория, разрешимость, элиминация кванторов, алгебра подмножеств.
Статья представлена к публикации: А. Л. Семёнов
Поступило: 07.07.2023
После доработки: 08.02.2024
Принято к публикации: 14.02.2024
Англоязычная версия:
Doklady Mathematics, 2024, Volume 516, Issue 2, Pages 112–116
DOI: https://doi.org/10.1134/S1064562424701874
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.53, 510.65, 512.573, 512.577
Образец цитирования: Б. Н. Карлов, “О неразрешимости теорий подмножеств некоторых унаров”, Докл. РАН. Матем., информ., проц. упр., 516 (2024), 15–20; Dokl. Math., 516:2 (2024), 112–116
Цитирование в формате AMSBIB
\RBibitem{Kar24}
\by Б.~Н.~Карлов
\paper О неразрешимости теорий подмножеств некоторых унаров
\jour Докл. РАН. Матем., информ., проц. упр.
\yr 2024
\vol 516
\pages 15--20
\mathnet{http://mi.mathnet.ru/danma507}
\crossref{https://doi.org/10.31857/S2686954324020035}
\elib{https://elibrary.ru/item.asp?id=68623159}
\transl
\jour Dokl. Math.
\yr 2024
\vol 516
\issue 2
\pages 112--116
\crossref{https://doi.org/10.1134/S1064562424701874}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/danma507
  • https://www.mathnet.ru/rus/danma/v516/p15
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Доклады Российской академии наук. Математика, информатика, процессы управления Доклады Российской академии наук. Математика, информатика, процессы управления
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025