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

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

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


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




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

Труды Математического института имени В. А. Стеклова, 2015, том 289, страницы 206–226
DOI: https://doi.org/10.1134/S0371968515020120 (Mi tm3627) 		 
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)

Об элементарных теориях систем ординальных обозначений на основе схем рефлексии

Ф. Н. Пахомов

Математический институт им. В. А. Стеклова Российской академии наук, Москва, Россия
PDF полного текста (317 kB) Список цитирования (5)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.1134/S0371968515020120
Аннотация: Рассматриваются конструктивная система ординальных обозначений до ординала $\varepsilon_0$, введенная Л. Д. Беклемишевым, а также ее фрагменты, составляющие системы обозначений для меньших ординалов $\omega _n$ (башни из $\omega $-экспонент высоты $n$). Эти системы основаны на известной полимодальной логике доказуемости Джапаридзе. Они тесно связаны с техникой ординального анализа арифметики Пеано $\mathbf{PA}$ и ее фрагментов на основе итерированных схем рефлексии. Системы ординальных обозначений могут рассматриваться как модели языка первого порядка. Доказано, что полная система обозначений и ее фрагменты для ординалов $\ge\omega_4$ обладают неразрешимыми элементарными теориями. В тоже время фрагменты, соответствующие ординалам $\le\omega_3$, обладают разрешимыми элементарными теориями. Также получены результаты о разрешимости элементарных теорий для этих систем ординальных обозначений с обедненными сигнатурами.
Финансовая поддержка Номер гранта
Российский научный фонд 14-50-00005
Исследование выполнено за счет гранта Российского научного фонда (проект № 14-50-00005).
Поступило в редакцию: 15 марта 2015 г.
Англоязычная версия:
Proceedings of the Steklov Institute of Mathematics, 2015, Volume 289, Pages 194–212
DOI: https://doi.org/10.1134/S0081543815040124
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.227
Образец цитирования: Ф. Н. Пахомов, “Об элементарных теориях систем ординальных обозначений на основе схем рефлексии”, Избранные вопросы математики и механики, Сборник статей. К 150-летию со дня рождения академика Владимира Андреевича Стеклова, Труды МИАН, 289, МАИК «Наука/Интерпериодика», М., 2015, 206–226; Proc. Steklov Inst. Math., 289 (2015), 194–212
Цитирование в формате AMSBIB
\RBibitem{Pak15}
\by Ф.~Н.~Пахомов
\paper Об элементарных теориях систем ординальных обозначений на основе схем рефлексии
\inbook Избранные вопросы математики и механики
\bookinfo Сборник статей. К~150-летию со дня рождения академика Владимира Андреевича Стеклова
\serial Труды МИАН
\yr 2015
\vol 289
\pages 206--226
\publ МАИК «Наука/Интерпериодика»
\publaddr М.
\mathnet{http://mi.mathnet.ru/tm3627}
\crossref{https://doi.org/10.1134/S0371968515020120}
\elib{https://elibrary.ru/item.asp?id=23738470}
\transl
\jour Proc. Steklov Inst. Math.
\yr 2015
\vol 289
\pages 194--212
\crossref{https://doi.org/10.1134/S0081543815040124}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000358577300012}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84938882322}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tm3627
  • https://doi.org/10.1134/S0371968515020120
  • https://www.mathnet.ru/rus/tm/v289/p206
    • Эта публикация цитируется в следующих 5 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Труды Математического института имени В. А. Стеклова Proceedings of the Steklov Institute of Mathematics
    Статистика просмотров:
    Страница аннотации:339
    PDF полного текста:83
    Список литературы:43
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024