О некоторых расширениях арифметики сложения натуральных чисел

В работе изучаются вопросы выразимости и разрешимости для элементарных теорий, получаемых расширением арифметики порядка и арфиметики сложения натуральных чисел. Получены результаты о разрешимости и неразрешимости элементарных теорий конкретных структур вида $\left<\mathbf N;+,P\right>$, где $P$ – фиксированный одноместный предикат, и о классе множеств, определимых в теории $\mathbf T\left<\mathbf N;+,\lambda x,\exists\,y\,(x=d^y)\right>$.
Библиография: 6 названий.