RUS  ENG
Full version
JOURNALS // Matematicheskie Zametki // Archive

Mat. Zametki, 1973 Volume 13, Issue 5, Pages 667–675 (Mi mzm7170)

This article is cited 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.

UDC: 517.11

Received: 31.03.1971


 English version:
Mathematical Notes, 1973, 13:5, 401–405

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024