|
This article is cited in 4 scientific papers (total in 4 papers)
Solvability of the theory of integers with addition, order, and multiplication by an arbitrary number
Yu. G. Penzin Irkutsk State University
Abstract:
It is known that the arithmetic of natural and integer numbers is unsolvable. Even the universal theory of integers with addition and multiplication is unsolvable. It is proved herein that an elementary theory of integers with addition, order, and multiplication by one arbitrary number is solvable and multiplication by the power of one number is unsolvable. For a certain $n$, the universal theory of integers with addition and $n$ multiplications by an arbitrary number is also unsolvable.
Received: 31.03.1971
Citation:
Yu. G. Penzin, “Solvability of the theory of integers with addition, order, and multiplication by an arbitrary number”, Mat. Zametki, 13:5 (1973), 667–675; Math. Notes, 13:5 (1973), 401–405
Linking options:
https://www.mathnet.ru/eng/mzm7170 https://www.mathnet.ru/eng/mzm/v13/i5/p667
|
Statistics & downloads: |
Abstract page: | 377 | Full-text PDF : | 141 | First page: | 1 |
|