Matematicheskie Zametki
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Forthcoming papers
Archive
Impact factor
Guidelines for authors
License agreement
Submit a manuscript

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Mat. Zametki:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Matematicheskie Zametki, 2004, Volume 76, Issue 3, Pages 362–371
DOI: https://doi.org/10.4213/mzm110
(Mi mzm110)
 

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
Full-text PDF (215 kB) Citations (5)
References:
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
English version:
Mathematical Notes, 2004, Volume 76, Issue 3, Pages 339–347
DOI: https://doi.org/10.1023/B:MATN.0000043461.68759.1d
Bibliographic databases:
UDC: 510.652
Language: Russian
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
Citation in format AMSBIB
\Bibitem{Dud04}
\by S.~M.~Dudakov
\paper Collapse Result for Extensions of the Presburger Arithmetic by a~Unary Function Compatible with Addition
\jour Mat. Zametki
\yr 2004
\vol 76
\issue 3
\pages 362--371
\mathnet{http://mi.mathnet.ru/mzm110}
\crossref{https://doi.org/10.4213/mzm110}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2113079}
\zmath{https://zbmath.org/?q=an:1080.03022}
\elib{https://elibrary.ru/item.asp?id=14320564}
\transl
\jour Math. Notes
\yr 2004
\vol 76
\issue 3
\pages 339--347
\crossref{https://doi.org/10.1023/B:MATN.0000043461.68759.1d}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000224874900005}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-5044232915}
Linking options:
  • https://www.mathnet.ru/eng/mzm110
  • https://doi.org/10.4213/mzm110
  • https://www.mathnet.ru/eng/mzm/v76/i3/p362
  • This publication is cited in the following 5 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Математические заметки Mathematical Notes
    Statistics & downloads:
    Abstract page:392
    Full-text PDF :196
    References:54
    First page:2
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024