On Certain Extensions of the Arithmetic of Addition of Natural Numbers
Abstract
In this paper the problems of expressibility and decidability are studied for elementary theories obtained by extending the arithmetic of order and the arithmetic of addition of natural numbers. Results are obtained on the decidability and undecidability of elementary theories of concrete structures of the form \langle \mathbf{N};+,P\rangle, where P is a fixed monadic predicate, as well as results on the class of sets definable in the theory \mathbf{T}\langle \mathbf{N}; +, \lambda x, \exists y\,\, (x=d^y)\rangle.
Bibliography: 6 titles.- Publication:
-
Izvestiya: Mathematics
- Pub Date:
- April 1980
- DOI:
- 10.1070/IM1980v015n02ABEH001252
- Bibcode:
- 1980IzMat..15..401S