• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Articles
  • Об интерпретациях арифметики Пресбургера в арифметиках Бюхи
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • More
Subject
News
July 9, 2026
HSE Economists Use Search Queries to Forecast Birth Rates
Researchers from the HSE Faculty of Economic Sciences have shown that the accuracy of birth rate forecasts for Russia can be improved by almost 50% by incorporating the dynamics of online search queries related to pregnancy and childbirth into forecasting models. In the best-performing models, the forecasting error fell from 4.6% to 3.2%. The findings have been published in Populations and Economics.
July 8, 2026
HSE Researchers Discover Who Eats Out in Russia-And Why
Around one-third of Russians (31.3%) rarely eat out or buy ready-made meals. The core group of active consumers—those who eat out or purchase prepared food almost every day or several times a week—accounts for only about 9% of the population. These are the findings of a study conducted by the HSE Institute for Social Policy. According to the researchers eating out is no longer a marker of high social status in Russia.
July 8, 2026
HSE University and RREDA Join Forces to Support 2026 Renewable Energy of the Planet Competition
HSE University and the Russia Renewable Energy Development Association (RREDA) have signed a partnership and information cooperation agreement to support Renewable Energy of the Planet—2026, a national competition with international participation for students and early-career researchers. Applications are open on the competition's website until September 20, 2026.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

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

Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика). 2023. Т. 510. С. 3–7.
Zapryagaev A.

Büchi arithmetics BAn, , are extensions of Presburger arithmetic with an unary functional symbol
denoting the largest power of n that divides x. Definability of a set in BAn is equivalent to its recognizability
by a finite automaton receiving numbers in their n-ary expansion. We consider the interpretations of Presburger
Arithmetic in the standard model of BAn and show that each such interpretation has an internal model
isomorphic to the standard one. This answers a question by A. Visser on the interpretations of certain weak
arithmetical theories in themselves.

Research target: Mathematics
Language: Russian
Full text
DOI
Text on another site
Keywords: интерпретацииabelian groupsабелевы группыformal arithmeticформальная арифметикаInterpretationsавтоматные структурыautomatic structures
Publication based on the results of:
Dynamic Models of Knowledge and Beliefs in Multi-agent Interactions (2023)
Similar publications
Statistical inference based on band-limited kernels: Rational-infinitely divisible distributions and beyond
Panov V., Ryabchenko A., / Series arXiv "stat.ME". 2026. No. 2607.05048.
This paper investigates the problem of statistical inference for a mixture distribution consisting of a discrete and a continuous component, with a particular focus on the class of rational-infinitely divisible distributions. We consider non-parametric estimation of both components of the mixture as well as the quasi-L{é}vy measure, assuming that the mixture belongs to the class ...
Added: July 9, 2026
Computational Science and Its Applications – ICCSA 2026 Workshops
Springer, 2027.
The series Lecture Notes in Computer Science (LNCS), including its subseries Lecture Notes in Artificial Intelligence (LNAI) and Lecture Notes in Bioinformatics (LNBI), has established itself as a medium for the publication of new developments in computer science and information technology research, teaching, and education. LNCS enjoys close cooperation with the computer science R & ...
Added: July 8, 2026
Моделирование специализированных алгоритмов маршрутизации в сетях на кристалле, представленных сериями семейств циркулянтных топологий
Маликов М. А., Монахова Э. А., Rzaev E. et al., Ученые записки Казанского университета. Серия: Физико-математические науки 2026 Т. 168 № 2 С. 269–286
This article examines series of families of two-dimensional circulant networks with rectangular L -shapes, optimal in diameter, as network-on-chip topologies with a minimal number of crossings between the links and a bounded length of the maximum link that does not depend on the network size. New network-on-chip routing algorithms, which use the coordinates of three adjacent zeros in the ...
Added: July 8, 2026
Algorithmic overlaps as thermodynamic variables: From local to cluster Monte Carlo dynamics in critical phenomena
Pilé I., Shchur L., Deng Y., Physical Review B: Condensed Matter and Materials Physics 2026 Vol. 114 Article 014101
We investigate the spatial overlap of successive spin configurations in Markov chain Monte Carlo simulations using the local Metropolis algorithm and the Swendsen-Wang and Wolff cluster algorithms. We examine the dynamics of these algorithms for models in different universality classes: Ising model, Potts model with three components, and four-state Potts model. The overlap of two ...
Added: July 6, 2026
Proceedings of the 9th International School-Seminar on Nonlinear Analysis and Extremal Problems (NLA-2026). Irkutsk, Russia, June 22–26, 2026. Irkutsk : ISDCT SB RAS, 2026, 326 p.
Irkutsk: ISDCT SB RAS, 2026.
We study a model problem on the filtration of a conducting fluid through a porous layer. A porous medium is presented as an assemblage of identical spherical cells. Each cell consists of a porous core and liquid shell. We derive apriori estimates for flow characteristics which show the specific behavior of the fluid. Our estimates are validated numerically. ...
Added: July 5, 2026
Журнал Телекоммуникации №1 за 2026
М.: Наука и технологии, 2026.
«Телекоммуникации» ежемесячный рецензируемый производственный, информационно-аналитический и учебно-методический журнал выходит в свет с июля 2000 г. Для руководителей и работников промышленности, научно-исследовательских и проектно-конструкторских институтов, высших учебных заведений, аспирантов и студентов, а также для специалистов, разрабатывающих, выпускающих и эксплуатирующих средства телекоммуникаций. Новости разработок и производства, прогнозы развития, защита информации, Нормативные, справочные, аналитические и учебно-методические материалы. Переход к глобальному информационному ...
Added: July 4, 2026
"Труды МФТИ" Том 17, № 4 (68) (2025)
МФТИ, 2025.
абота  редакции  научного журнала «Труды Московского физико-технического института» (кратко «Труды МФТИ»), редакционной коллегии и редакционного совета осуществляется в соответствии с Положением, утвержденным ректором института. В состав редакционной коллегии входят руководители института, факультетов, институтских и факультетских кафедр. Главный редактор журнала —президент МФТИ, член-корр. РАН Кудрявцев Н.Н.   Журнал «Труды МФТИ» входит в базу данных РИНЦ (Российский Индекс Научного Цитирования) и доступен в электронной ...
Added: July 4, 2026
Graph Games and Logic Design. Recent Developments and Further Directions. (TREN, volume 66)
Springer, 2026.
This book presents established and new research on the close connections between graph games and systems of logic, particularly existing and newly designed modal logics. The volume utilizes two graph games – the sabotage game and the hide-and-seek game – to demonstrate the natural interplay between designing new graph games and exploring new kinds of ...
Added: June 30, 2026
On Ω-stable 3-diffeomorphism with a solid or thickened surfaced basic set
Pochinka O., Barinova M., Journal of Geometry and Physics 2026 Vol. 228 P. 1–8
In the present paper we consider an Ω-stable 3-diffeomorphism with a solid or thickened surfaced non-trivial basic set. Such basic sets include, for instance, all one-dimensional expanding attractors and those two-dimensional basic sets that are not expanding. We prove that the chain recurrent set of every such a diffeomorphism necessarily contains at least two non-trivial ...
Added: June 30, 2026
Почти пустые симплексы и полиэдры Клейна
German O., Illarionov A., Известия РАН. Серия математическая 2026 Т. 90 № 3 С. 3–18
Пусть симплекс с целочисленными вершинами - содержащий ровно одну целочисленную точку, отличную от своих вершин. В работе доказывается, что если точка находится во внутренности симплекса или в относительной внутренности некоторой гиперграни симплекса, то объем симплекса ограничен величиной, зависящей только от размерности, в противном случае объем симплекса может быть сколь угодно большим. Этот результат применяется для вывода асимптотической формулы для среднего числа вершин полиэдров ...
Added: June 29, 2026
О МОНОИДЕ С РАЗРЕШИМОЙ ТЕОРИЕЙ КОНЕЧНЫХ ПОДМНОЖЕСТВ
Dudakov S., Вестник Тверского государственного университета. Серия: Прикладная математика 2024 № 2 С. 27–38
In our previous works, we have proved for various associative algebras that the finite subsets theory allows to interpret elementary arithmetic, in particular, such theory is undecidable. For example, this is proved for all infinite Abelian groups. A natural question arises: can we generalize this result to a wider class of algebras, for example, all ...
Added: March 18, 2026
АЛГОРИТМЫ И ГРАФЫ В ТЕОРИИ ПРЯМЫХ РАЗЛОЖЕНИЙ АЛГЕБРАИЧЕСКИХ СТРУКТУР, ПРИЛОЖЕНИЯ К РАСПАРАЛЛЕЛИВАНИЮ ВЫЧИСЛЕНИЙ
Благовещенская Е. А., Павлова Н. Г., Гарбарук В. В. et al., Международная конференция по мягким вычислениям и измерениям 2018 Т. 1 С. 684–686
Abelian torsion-free groups, being one of the primary algebraic structures, admit an algorithmic approach to the study of their various direct decompositions. The graphs used are of the line-parallel form and they are applicable to parallelization problems. ...
Added: January 13, 2026
COMMON FEATURES OF ALGORITHMIC APPROACHES TO SUB-WORD PARALLELISM AND TORSION-FREE ABELIAN GROUP DECOMPOSITIONS
Благовещенская Е. А., Гарбарук В. В., Кузнецова И. В. et al., , in: IEEE International Conference on Electrical Engineering and Photonics (EExPolytech).: St. Petersburg: IEEE, 2021. P. 128–131.
Added: January 13, 2026
NEAR ISOMORPHISM FOR COUNTABLE-RANK TORSION-FREE ABELIAN GROUPS
Благовещенская Е. А., Филимонов А. В., Трифонов А. Е., Journal of Mathematical Sciences 2021 Vol. 259 No. 4 P. 394–402
Added: January 13, 2026
О наследственно неразрешимых фрагментах базовых элементарных теорий
Карпов В. Е., Speranski S. O., Математические заметки 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. Полученные результаты являются в известном ...
Added: December 26, 2025
Завершение классификации инволютивных двузначных групп
Гугнин Д. В., Алгебра и анализ 2025 Т. 37 № 6 С. 90–99
В работе В. М. Бухштабера, А. П. Веселова и А. А. Гайфуллина 2022 года была получена практически полная классификация инволютивных коммутативных двузначных групп. В работе А. А. Гайфуллина 2024 года была доказана автоматическая коммутативность произвольной инволютивной двузначной группы. Единственный вопрос о классификации инволютивных двузначных групп, который оставался открытым после этих публикаций, заключается в следующем: Верно ли, что если две ...
Added: November 13, 2025
Finite abelian groups acting on rationally connected threefolds II: groups of K3 type
Loginov K., Zhang Z., Pinardin A., / Series arXiv "math". 2025.
We study finite abelian groups acting on three-dimensional rationally connected varieties. We concentrate on the groups of K3 type, that is, abelian extensions by a cyclic group of groups that faithfully act on a K3 surface. In particular, if a finite abelian group faithfully acts on a threefold preserving a K3 surface (with at worst ...
Added: September 27, 2025
Длина групповой алгебры прямого произведения циклической группы и элементарной абелевой p-группы в модулярном случае
Хрыстик М. А., Сибирские электронные математические известия 2024 Т. 21 № 2 С. 1132–1144
In this paper, the length of the group algebra of the direct product of a cyclic group and an elementary abelian p-group over a eld of characteristic p is calculated. ...
Added: December 11, 2024
Длина групповой алгебры прямого произведения циклической группы и циклической p-группы в модулярном случае
Хрыстик М. А., Записки научных семинаров ПОМИ РАН 2023 Т. 524 С. 166–176
конечномерные алгебры, длина алгебры, групповые алгебры, абелевы группы, $p$-группы [finite-dimensional algebras, length of an algebra, group algebras, abelian groups, $p$-groups] ...
Added: November 29, 2023
ON UNDECIDABILITY OF FINITE SUBSETS THEORY FOR TORSION ABELIAN GROUPS
Sergey Mikhailovich Dudakov, Mathematics 2022 Vol. 10 No. 3 Article 533
Let M be a commutative cancellative monoid with an element of infinite order. The binary operation can be extended to all finite subsets of M by the  pointwise definition. So, we can consider the theory of finite subsets of M. Earlier, we have proved the following result: in the theory of finite subsets of M elementary ...
Added: November 12, 2023
Some properties of Büchi Arithmetics
Zapryagaev A., / Series arXiv "math". 2023.
Büchi arithmetics BA_n, n≥2, are extensions of Presburger arithmetic with an unary functional symbol V_n(x) denoting the largest power of n that divides x. A rank of a linear order is the minimal number of condensations required to reach a finite order. We show that linear orders of arbitrarily large finite rank can be interpreted in BA_n. We also prove that the extension ...
Added: October 25, 2023
On Interpretations in Büchi Arithmetics
Zapryagaev A., / Series arXiv "math". 2022.
Büchi arithmetics BA_n, n >= 2, are extensions of Presburger arithmetic with an unary functional symbol V_n(x) denoting the largest power of n that divides x. Definability of a set in BA_n is equivalent to its recognizability by a finite automaton receiving numbers in their n-ary expansion. We show that Büchi arithmetics BA_n and BA_m ...
Added: December 5, 2022
К вопросу о применении гуманитарно-научных методов в процессе анализа историко-правовых источников
Zorile Dorina D., Тенденции развития науки и образования 2021 Т. 75 № 3 С. 37–42
The article deals with the involving into the history of law the methodology of a new branch - jurislinguistics and of a traditional one - comparativistics, wich supply methdological approaches to the historical investigations. The features of its implementation in order to acheave a correct translation of foreign legal texsts and interpretation of their terminology are ...
Added: December 4, 2022
Presburger arithmetic and Visser's conjecture
Zapryagaev A., , in: Logical Perspectives 2021 Workshop.: M.: [б.и.], 2021. Ch. 18.
Presburger Arithmetic the true theory of natural numbers with addition. We show that the interpretations of Presburger Arithmetic in itself are definably isomorphic to the trivial one, confirming the conjecture of A. Visser. To prove that, we develop a characterization of linear orderings interpretable in (N, +). We show that all interpretable linear orderings can ...
Added: December 14, 2021
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit