|
This article is cited in 5 scientific papers (total in 5 papers)
Collapse Result for Extensions of the Presburger Arithmetic by a Unary Function Compatible with Addition
S. M. Dudakov Tver State University
Abstract:
Earlier, Belegradek, Stolboushkin, and Taitslin proved that the collapse result holds in the theory of natural numbers with addition, i.e., each locally generic query using addition can be written without it. In this paper, we use the sufficient conditions of the collapse result obtained by Taitslin to prove that it holds in any extensions of the Presburger arithmetic by a unary function compatible with addition. The notion of a function compatible with addition was proposed by A. L. Semenov.
Received: 05.02.2002 Revised: 28.08.2003
Citation:
S. M. Dudakov, “Collapse Result for Extensions of the Presburger Arithmetic by a Unary Function Compatible with Addition”, Mat. Zametki, 76:3 (2004), 362–371; Math. Notes, 76:3 (2004), 339–347
Linking options:
https://www.mathnet.ru/eng/mzm110https://doi.org/10.4213/mzm110 https://www.mathnet.ru/eng/mzm/v76/i3/p362
|
Statistics & downloads: |
Abstract page: | 392 | Full-text PDF : | 196 | References: | 54 | First page: | 2 |
|