?
Об интерпретациях арифметики Пресбургера в арифметиках Бюхи
Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика). 2023. Т. 510. С. 3–7.
Арифметики Бюхи BAn, n≥2, являются расширениями арифметики Пресбургера унарным функциональным символом Vn(x), обозначающим наибольшую степень n, делящую x. Определимость множества в BAn эквивалентна распознаванию его конечным автоматом, принимающим числа в n-ичной записи. Мы рассматриваем интерпретации арифметики Пресбургера в стандартной модели BAn и показываем, что для всякой такой интерпретации внутренняя модель изоморфна стандартной. Это дает ответ на вопрос А. Виссера, касающийся интерпретаций некоторых слабых арифметических теорий в себя.
Ключевые слова: интерпретацииabelian groupsабелевы группыformal arithmeticформальная арифметикаInterpretationsавтоматные структурыautomatic structures
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Починка О. В., Баринова М. К., Journal of Geometry and Physics 2026 Vol. 228 P. 1–8
Добавлено: 30 июня 2026 г.
Герман О. Н., Илларионов А. А., Известия РАН. Серия математическая 2026 Т. 90 № 3 С. 3–18
Пусть симплекс с целочисленными вершинами - содержащий ровно одну целочисленную точку, отличную от своих вершин. В работе доказывается, что если точка находится во внутренности симплекса или в относительной внутренности некоторой гиперграни симплекса, то объем симплекса ограничен величиной, зависящей только от размерности, в противном случае объем симплекса может быть сколь угодно большим. Этот результат применяется для вывода асимптотической формулы для среднего числа вершин полиэдров ...
Добавлено: 29 июня 2026 г.
В данной работе мы сосредоточимся на обобщении эмпирического закона Херста и предложим набор редуцированных параметров для количественного описания длительных временных рядов. Эти ряды обычно рассматриваются как специфический отклик сложной системы (экономической, геофизической, электромагнитной и других), где последовательная фиксация внешних факторов становится невозможной. Мы рассматриваем применение обобщенных законов Херста для получения нового набора редуцированных параметров в ...
Добавлено: 27 июня 2026 г.
Ивченко А. В., Шестопёров А. И., Фомина Е. В., Microgravity Science and Technology 2025 Vol. 37 No. 19 P. 1–19
Данная работа посвящена анализу медико-биологических данных, полученных в ходе локомоторных тестов космонавтов. Точная интерпретация данных играет решающую роль в мониторинге системы передвижения, профилактике негативных последствий длительного космического полета и, следовательно, в разработке автономной системы медицинского обеспечения для экспедиций в дальний космос. Во время локомоторных тестов космонавт меняет режимы движения в соответствии с предписанным протоколом тренировки, ...
Добавлено: 26 июня 2026 г.
Гаджимирзаев Ш. М., Хельвас А. В., 2023 3rd International Conference on Innovative Research in Applied Science, Engineering and Technology (IRASET) Mohammedia, Morocco 2023 P. 1–6
В статье предлагается архитектура событийно-управляемого Центра экстренного реагирования с компонентом компьютерного зрения. Анализируются источники информации и обсуждаются подходы к использованию событий компьютерного зрения для обнаружения и оценки тактических ситуаций. Сообщения от компонентов компьютерного зрения преобразуются в Протокол общих оповещений (Common Alerting Protocol) и обрабатываются средой Центра управления для распознавания тактических ситуаций. ...
Добавлено: 26 июня 2026 г.
Гаджимирзаев Ш. М., Хельвас А. В., Лукьянченко П. П., Computer Research and Modeling 2023 Vol. 15 No. 1 P. 129–140
В данной статье нами предложен новый подход к анализу эконометрических параметров отрасли для уровня консолидированности отрасли. Исследование базируется на простой модели управления отраслью в соответствии с моделью из теории автоматического управления. Состояние отрасли оценивается на основе ежеквартальных эконометрических параметров получаемых в обезличенном виде от каждой компании отрасли через налогового регулятора. Предложен подход к анализу отрасли, ...
Добавлено: 26 июня 2026 г.
Гаджимирзаев Ш. М., Хельвас А. В., International Frequency Sensor Association (IFSA) Publishing, 19-21 February 2025 Granada, Spain 2025 P. 172–176
В статье представлены модели инновационного полностью роботизированного склада для хранения коробочных товаров. Была реализована дискретная многоагентная симуляция движения челноков на складе для заданной последовательности паллетных отгрузок. Оцениваются различные стратегии размещения коробок в разных зонах склада, а также оптимальные схемы маршрутизации челноков для заданной топологии склада. Также оценивается оптимальное количество челноков, максимизирующее производительность склада. ...
Добавлено: 26 июня 2026 г.
Воронеж: Издательский дом ВГУ, 2026.
В сборнике представлены материалы докладов и лекций, включенных в программу весенней математической школы. ...
Добавлено: 25 июня 2026 г.
Воронеж: Издательский дом ВГУ, 2026.
В сборнике представлены материалы докладов и лекций,
включенных в программу Воронежской зимней матаматической школы С. Г. Крейна - 2026. ...
Добавлено: 25 июня 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 г.
Зорилэ Д. В., Тенденции развития науки и образования 2021 Т. 75 № 3 С. 37–42
В статье рассматривается вопрос применения в историко-правовых исследованиях методологии, получившей развитие в смежных гуманитарных дисциплинах - в молодой области - юрислингвистике, развивающей комплекс сравнительных методов и подходов.Анализируются особенности применения соответствующего методологического инструментария в процессе интерпреатции текстов историко-правовой направленности, в частности, проблемы адекватного перевода зарубежных источников, в первую очередь - правовой терминологии. В статье использованы как ...
Добавлено: 4 декабря 2022 г.