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

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

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


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




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

Доклады Российской академии наук. Математика, информатика, процессы управления, 2021, том 499, страницы 26–30
DOI: https://doi.org/10.31857/S2686954321040081 (Mi danma19) 		 
МАТЕМАТИКА

Об одном усилении теоремы о неизоморфизме алгебр доказуемости

Е. А. Колмаковab

a Математический институт им. В.А. Стеклова Российской академии наук, Москва, Россия
b Московский государственный университет имени М.В. Ломоносова, Москва, Россия
PDF полного текста (223 kB)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.31857/S2686954321040081
Аннотация: Мы получаем усиление теоремы В.Ю. Шаврукова о неизоморфизме алгебр доказуемости двух $\Sigma_1$-корректных теорий, основываясь на результатах, полученных Г. Адамссоном. Усиленное достаточное условие неизоморфизма позволяет построить новые примеры пар теорий с неизоморфными алгебрами. В частности, мы доказываем отсутствие эпиморфизмов из алгебры $(\mathfrak{L}_T,\square_T\square_T)$ на алгебру $(\mathfrak{L}_T,\square_T)$.
Ключевые слова: предикат доказуемости, алгебра доказуемости, принцип рефлексии.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 19-31-9005
Исследование выполнено при финансовой поддержке РФФИ в рамках научного проекта \No~19-31-90050.
Статья представлена к публикации: Л. Д. Беклемишев
Поступило: 29.04.2021
После доработки: 29.04.2021
Принято к публикации: 15.05.2021
Англоязычная версия:
Doklady Mathematics, 2021, Volume 104, Issue 1, Pages 180–183
DOI: https://doi.org/10.1134/S1064562421040086
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.6
Образец цитирования: Е. А. Колмаков, “Об одном усилении теоремы о неизоморфизме алгебр доказуемости”, Докл. РАН. Матем., информ., проц. упр., 499 (2021), 26–30; Dokl. Math., 104:1 (2021), 180–183
Цитирование в формате AMSBIB
\RBibitem{Kol21}
\by Е.~А.~Колмаков
\paper Об одном усилении теоремы о неизоморфизме алгебр доказуемости
\jour Докл. РАН. Матем., информ., проц. упр.
\yr 2021
\vol 499
\pages 26--30
\mathnet{http://mi.mathnet.ru/danma19}
\crossref{https://doi.org/10.31857/S2686954321040081}
\zmath{https://zbmath.org/?q=an:7427861}
\elib{https://elibrary.ru/item.asp?id=46532749}
\transl
\jour Dokl. Math.
\yr 2021
\vol 104
\issue 1
\pages 180--183
\crossref{https://doi.org/10.1134/S1064562421040086}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000715838500006}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85118748038}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/danma19
  • https://www.mathnet.ru/rus/danma/v499/p26
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Доклады Российской академии наук. Математика, информатика, процессы управления Доклады Российской академии наук. Математика, информатика, процессы управления
    Статистика просмотров:
    Страница аннотации:104
    PDF полного текста:20
    Список литературы:22
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024