Разрешимость теории целых чисел со сложением, порядком и умножением на произвольное число

Известно, что арифметика натуральных и целых чисел является неразрешимой. Неразрешима даже универсальная теория целых чисел со сложением и умножением. В работе доказано, что элементарная теория целых чисел со сложением, порядком и умножением на одно произвольное число разрешима, а умножением на степени одного числа неразрешима. Неразрешима также при некотором $n$ универсальная теория целых чисел со сложением и $n$ умножениями на произвольные числа. Библ. 5 назв.