Geodesic
Collapse Result for Extensions of the Presburger Arithmetic by a~Unary Function Compatible with Addition
Matematičeskie zametki, Tome 76 (2004) no. 3, pp. 362-371

Voir la notice de l'article provenant de la source Math-Net.Ru

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. 
@article{MZM_2004_76_3_a5,
     author = {S. M. Dudakov},
     title = {Collapse {Result} for {Extensions} of the {Presburger} {Arithmetic} by {a~Unary} {Function} {Compatible} with {Addition}},
     journal = {Matemati\v{c}eskie zametki},
     pages = {362--371},
     publisher = {mathdoc},
     volume = {76},
     number = {3},
     year = {2004},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MZM_2004_76_3_a5/}
}
TY  - JOUR
AU  - S. M. Dudakov
TI  - Collapse Result for Extensions of the Presburger Arithmetic by a~Unary Function Compatible with Addition
JO  - Matematičeskie zametki
PY  - 2004
SP  - 362
EP  - 371
VL  - 76
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_2004_76_3_a5/
LA  - ru
ID  - MZM_2004_76_3_a5
ER  - 
%0 Journal Article
%A S. M. Dudakov
%T Collapse Result for Extensions of the Presburger Arithmetic by a~Unary Function Compatible with Addition
%J Matematičeskie zametki
%D 2004
%P 362-371
%V 76
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_2004_76_3_a5/
%G ru
%F MZM_2004_76_3_a5
S. M. Dudakov. Collapse Result for Extensions of the Presburger Arithmetic by a~Unary Function Compatible with Addition. Matematičeskie zametki, Tome 76 (2004) no. 3, pp. 362-371. http://geodesic.mathdoc.fr/item/MZM_2004_76_3_a5/