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

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

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


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




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

Математический сборник, 2012, том 203, номер 8, страницы 141–160
DOI: https://doi.org/10.4213/sm7883 (Mi sm7883) 		 
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)

Неразрешимость элементарной теории полурешетки $\mathrm{GLP}$-слов

Ф. Н. Пахомов

Московский государственный университет им. М. В. Ломоносова
PDF полного текста (547 kB) PDF английской версии (353 kB) Список цитирования (4)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.4213/sm7883
Аннотация: Алгебра Линденбаума арифметики Пеано $\mathrm{PA}$ может быть обогащена операторами $n$-непротиворечивости, которые сопоставляют данной формуле утверждение о ее совместности с теорией $\mathrm{PA}$, расширенной множеством всех истинных $\Pi_n$-предложений. В алгебре Линденбаума $\mathrm{PA}$ из $\mathbf{1}$ операторами $n$-непротиворечивости порождается нижняя полурешетка. Мы доказываем неразрешимость элементарной теории этой полурешетки и разрешимость элементарной теории ее подполурешетки, порожденной лишь операторами $0$-непротиворечивости и $1$-непротиворечивости.
Библиография: 16 названий.
Ключевые слова: логика доказуемости, элементарные теории, неразрешимость.
Поступила в редакцию: 02.05.2011
Англоязычная версия:
Sbornik: Mathematics, 2012, Volume 203, Issue 8, Pages 1211–1229
DOI: https://doi.org/10.1070/SM2012v203n08ABEH004261
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.673
MSC: Primary 03F45; Secondary 03B25, 03F25
Образец цитирования: Ф. Н. Пахомов, “Неразрешимость элементарной теории полурешетки $\mathrm{GLP}$-слов”, Матем. сб., 203:8 (2012), 141–160; F. N. Pakhomov, “Undecidability of the elementary theory of the semilattice of GLP-words”, Sb. Math., 203:8 (2012), 1211–1229
Цитирование в формате AMSBIB
\RBibitem{Pak12}
\by Ф.~Н.~Пахомов
\paper Неразрешимость элементарной теории полурешетки $\mathrm{GLP}$-слов
\jour Матем. сб.
\yr 2012
\vol 203
\issue 8
\pages 141--160
\mathnet{http://mi.mathnet.ru/sm7883}
\crossref{https://doi.org/10.4213/sm7883}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=3024816}
\zmath{https://zbmath.org/?q=an:1268.03082}
\elib{https://elibrary.ru/item.asp?id=19066576}
\transl
\by F.~N.~Pakhomov
\paper Undecidability of the elementary theory of the semilattice of GLP-words
\jour Sb. Math.
\yr 2012
\vol 203
\issue 8
\pages 1211--1229
\crossref{https://doi.org/10.1070/SM2012v203n08ABEH004261}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000309818600007}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84868613786}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/sm7883
  • https://doi.org/10.4213/sm7883
  • https://www.mathnet.ru/rus/sm/v203/i8/p141
    • Эта публикация цитируется в следующих 4 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Математический сборник Sbornik: Mathematics
    Статистика просмотров:
    Страница аннотации:713
    PDF русской версии:214
    PDF английской версии:10
    Список литературы:74
    Первая страница:16
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024