?
Об интерпретациях арифметики Пресбургера в арифметиках Бюхи
Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика). 2023. Т. 510. С. 3–7.
Арифметики Бюхи BAn, n≥2, являются расширениями арифметики Пресбургера унарным функциональным символом Vn(x), обозначающим наибольшую степень n, делящую x. Определимость множества в BAn эквивалентна распознаванию его конечным автоматом, принимающим числа в n-ичной записи. Мы рассматриваем интерпретации арифметики Пресбургера в стандартной модели BAn и показываем, что для всякой такой интерпретации внутренняя модель изоморфна стандартной. Это дает ответ на вопрос А. Виссера, касающийся интерпретаций некоторых слабых арифметических теорий в себя.
Ключевые слова: интерпретацииabelian groupsабелевы группыformal arithmeticформальная арифметикаInterpretationsавтоматные структурыautomatic structures
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Лебедев В. В., Journal of Mathematical Analysis and Applications 2026 Vol. 563 No. 2 Article 130787
Добавлено: 14 мая 2026 г.
Blokh A., Oversteegen L., Selinger N. и др., Arnold Mathematical Journal 2025 Vol. 12 No. 1 P. 1–40
Добавлено: 13 мая 2026 г.
Петров И. В., Автоматика и телемеханика 2026 № 6 С. 82–118
Системам связанных агентов и сетевому управлению посвящено большое число отечественных и зарубежных исследований. Исторически, наибольший интерес в теории управления возникал к усредняющим системам и, в частности, к задаче консенсуса. Однако сетевое взаимодействие может характеризоваться более специфическими функциями, отражающими зависимость от действий соседей по сети, что особенно явно проявляется в моделях стратегического взаимодействия на сети, которое ...
Добавлено: 12 мая 2026 г.
М.: ООО «Макс Пресс», 2026.
В настоящем сборнике представлены тезисы докладов участников семинара "Интеграция основного и дополнительного физико-математического образования", проходившего 11 февраля 2026 года в ГБОУ Школа №2007 ФМШ г. москвы, а также другие публикации, посвящённые вопросам дополнительного физико-математического образования. ...
Добавлено: 11 мая 2026 г.
Novikov R., Сивкин В. Н., Inverse Problems 2026 Vol. 42 No. 4 Article 045009
Добавлено: 11 мая 2026 г.
Hecht M., Hofmann P., Wicaksono D. и др., IMA Journal of Numerical Analysis 2026 Vol. 00 P. 1–30
Добавлено: 11 мая 2026 г.
Белоусов Н. М., Черепанов Л. К., Деркачов С. Э. и др., Selecta Mathematica, New Series 2026 Vol. 32 Article 44
Добавлено: 6 мая 2026 г.
Цыганов А. В., Порубов Е. О., Теоретическая и математическая физика 2026 Т. 227 № 2 С. 336–355
Теория тензорных инвариантов обыкновенных дифференциальных уравнений и классификация Картана простых алгебр Ли используется для установления изоморфизма задачи Козлова о движении ферромагнетика в магнитном поле и задачи Шоттки о движении четырехмерного твердого тела. Найдены новые полиномиальные и рациональные бивекторы Пуассона, инвариантные либо относительно пары коммутирующих фазовых потоков, либо относительно одного из пары потоков. ...
Добавлено: 5 мая 2026 г.
Монахова Э. А., Монахов О. Г., Рзаев Э. Р. и др., Прикладная дискретная математика 2026 Т. 71 С. 112–127
В настоящей работе исследовано совместное конструирование топологий семейств оптимальных по диаметру циркулянтных сетей $C(N; \pm 1, \pm s_2)$ и реализуемых для них оптимальных алгоритмов маршрутизации сложности $O(1)$. Предлагаемый алгоритм маршрутизации основан на использовании масштабируемых параметров $L$-образных шаблонов плотной укладки графов на плоскости для семейств оптимальных сетей.
Определены аналитические формулы зависимости этих параметров от диаметра графов семейств ...
Добавлено: 4 мая 2026 г.
Дудаков С. М., Lobachevskii Journal of Mathematics 2025 Vol. 46 No. 12 P. 6092–6102
Добавлено: 1 мая 2026 г.
Дудаков С. М., Вестник Тверского государственного университета. Серия: Прикладная математика 2024 № 2 С. 27–38
В наших предыдущих работах мы продемонстрировали, что теория конечных подмножеств различных ассоциативных алгебр позволяет интерпретировать элементарную арифметику, в частности, она неразрешима. Например, это было показано для любых бесконечных абелевых групп. Возникает естественный вопрос: можно ли обобщить этот результат на более широкий класс алгебр, скажем, все коммутативные моноиды. В некоторых случаях нами ответ тоже получен ранее: ...
Добавлено: 18 марта 2026 г.
Благовещенская Е. А., Павлова Н. Г., Гарбарук В. В. и др., Международная конференция по мягким вычислениям и измерениям 2018 Т. 1 С. 684–686
Абелевы группы без кручения, являясь одной из основных алгебраических структур, допускают алгоритмический подход к изучению их различных прямых разложений. Используемые графы имеют линейно-параллельную форму и применимы к задачам распараллеливания ...
Добавлено: 13 января 2026 г.
Благовещенская Е. А., Гарбарук В. В., Кузнецова И. В. и др., , in: IEEE International Conference on Electrical Engineering and Photonics (EExPolytech).: St. Petersburg: IEEE, 2021. P. 128–131.
Добавлено: 13 января 2026 г.
Благовещенская Е. А., Филимонов А. В., Трифонов А. Е., Journal of Mathematical Sciences 2021 Vol. 259 No. 4 P. 394–402
Добавлено: 13 января 2026 г.
Карпов В. Е., Сперанский С. О., Математические заметки 2025 Т. 118 № 1 С. 77–90
Строится $\Sigma_1$-интерпретация класса BiG-fin всех конечных двудольных графов в классе 2Eq-fin всех пар отношений эквивалентности на общем конечном носителе; это даёт наследственную неразрешимость $\Sigma_2$-теории 2Eq-fin. Далее, строится $\Sigma_1$-интерпретация 2Eq-fin в классе LEq-fin всех пар, состоящих из линейного порядка и отношения эквивалентности на общем конечном носителе; это даёт наследственную неразрешимость $\Sigma_2$-теории LEq-fin. Полученные результаты являются в известном ...
Добавлено: 26 декабря 2025 г.
Гугнин Д. В., Алгебра и анализ 2025 Т. 37 № 6 С. 90–99
В работе В. М. Бухштабера, А. П. Веселова и А. А. Гайфуллина 2022 года была получена практически полная классификация инволютивных коммутативных двузначных групп. В работе А. А. Гайфуллина 2024 года была доказана автоматическая коммутативность произвольной инволютивной двузначной группы. Единственный вопрос о классификации инволютивных двузначных групп, который оставался открытым после этих публикаций, заключается в следующем: Верно ли, что если две ...
Добавлено: 13 ноября 2025 г.
Добавлено: 27 сентября 2025 г.
Хрыстик М. А., Сибирские электронные математические известия 2024 Т. 21 № 2 С. 1132–1144
В данной работе вычисляется длина групповой алгебры прямого произведения циклической группы и элементарной абелевой p-группы над полем характеристики p. ...
Добавлено: 11 декабря 2024 г.
Хрыстик М. А., Записки научных семинаров ПОМИ РАН 2023 Т. 524 С. 166–176
В данной работе вычислена длина групповой алгебры прямого произведения циклической группы и циклической $p$-группы над полем характеристики $p$. Доказана общая нижняя оценка длины коммутативных групповых алгебр, которая в случае прямого произведения циклической группы и циклической $p$-группы оказывается точной. ...
Добавлено: 29 ноября 2023 г.
Sergey Mikhailovich Dudakov, Mathematics 2022 Vol. 10 No. 3 Article 533
Добавлено: 12 ноября 2023 г.