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

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