Разрешимость теории $T_f=Th(\omega, 0, 1, <, +, f(x), F(x))$

В статье рассматривается обобщение результата, полученного в нашей предыдущей работе. Мы показываем, что теория $T_f=Th(\omega, 0, 1,<,$ $+, f(x), F(x))$ является разрешимой, демонстрируя, что каждая формула эквивалентна экзистенциальной, если $f$ — эффективно согласованная со сложением функция, а $F$ — эффективно периодическая гиперфункция от $f$.