Трансляционный результат для расширений арифметики Пресбургера одноместной функцией, согласованной со сложением

Ранее О. В. Белеградек, А. П. Столбоушкин и М. А. Тайцлин доказали, что в теории натуральных чисел со сложением имеет место трансляционный результат, т.е. каждый локально генерический запрос с использованием сложения может быть записан и без его использования. В этой статье мы, используя достаточные условия трансляционного результата, полученные Тайцлиным, доказываем, что он имеет место в любых расширениях арифметики Пресбургера одноместной согласованной со сложением функцией. Понятие согласованной со сложением функции предложено А. Л. Семёновым.
Библиография: 6 названий.