Разрешимость теории $\mathrm{Th}(\omega,0,1,<,+,f_0,\dots,f_n)$

Данная работа посвящена исследованию свойств теорий, образованных из арифметики А. Л. Семенова добавлением функций $f_i$, $i>0$, которые в работе названы «гиперфункциями», полученных итерацией, согласованной со сложением функции $f_0$. Доказано, что такие теории являются модельно полными. Также показано, что при выполнении условия эффективной периодичности гиперфункций теории являются разрешимыми.