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

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

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



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






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


Доклады Российской академии наук. Математика, информатика, процессы управления, 2023, том 510, страницы 3–7
DOI: https://doi.org/10.31857/S2686954322600641
(Mi danma371)
 

МАТЕМАТИКА

Об интерпретациях арифметики Пресбургера в арифметиках Бюхи

А. А. Запрягаев

Национальный исследовательский университет "Высшая школа экономики", Москва, Россия
Список литературы:
Аннотация: Арифметики Бюхи $\mathrm{BA}_n$, $n\ge2$, являются расширениями арифметики Пресбургера унарным функциональным символом $V_n(x)$, обозначающим наибольшую степень $n$, делящую $x$. Определимость множества в $\mathrm{BA}_n$ эквивалентна распознаванию его конечным автоматом, принимающим числа в $n$-ичной записи. Мы рассматриваем интерпретации арифметики Пресбургера в стандартной модели $\mathrm{BA}_n$ и показываем, что для всякой такой интерпретации внутренняя модель изоморфна стандартной. Это дает ответ на вопрос А. Виссера, касающийся интерпретаций некоторых слабых арифметических теорий в себя.
Ключевые слова: формальные арифметики, интерпретации, автоматные структуры, автоматные абелевы группы.
Финансовая поддержка Номер гранта
Министерство науки и высшего образования Российской Федерации
Исследование осуществлено в рамках Программы фундаментальных исследований НИУ ВШЭ.
Статья представлена к публикации: Л. Д. Беклемишев
Поступило: 14.11.2022
После доработки: 31.01.2023
Принято к публикации: 03.02.2023
Англоязычная версия:
Doklady Mathematics, 2023, Volume 107, Issue 2, Pages 89–92
DOI: https://doi.org/10.1134/S1064562423700655
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.652
Образец цитирования: А. А. Запрягаев, “Об интерпретациях арифметики Пресбургера в арифметиках Бюхи”, Докл. РАН. Матем., информ., проц. упр., 510 (2023), 3–7; Dokl. Math., 107:2 (2023), 89–92
Цитирование в формате AMSBIB
\RBibitem{Zap23}
\by А.~А.~Запрягаев
\paper Об интерпретациях арифметики Пресбургера в арифметиках Бюхи
\jour Докл. РАН. Матем., информ., проц. упр.
\yr 2023
\vol 510
\pages 3--7
\mathnet{http://mi.mathnet.ru/danma371}
\crossref{https://doi.org/10.31857/S2686954322600641}
\elib{https://elibrary.ru/item.asp?id=53986703}
\transl
\jour Dokl. Math.
\yr 2023
\vol 107
\issue 2
\pages 89--92
\crossref{https://doi.org/10.1134/S1064562423700655}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/danma371
  • https://www.mathnet.ru/rus/danma/v510/p3
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Доклады Российской академии наук. Математика, информатика, процессы управления Доклады Российской академии наук. Математика, информатика, процессы управления
    Статистика просмотров:
    Страница аннотации:124
    Список литературы:21
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024