Логические теории одноместных функций на натуральном ряде

В работе изучается проблема разрушения для логических языков, предназначенных для описания свойств одноместных функций $f$ на натуральном ряде $\mathbf N$. Для функций $f$, принимающих конечное число значений, получен критерий разрешимости монадической теории структуры $\langle\mathbf N;\leqslant,f\rangle$. Для широкого класса монотонных функций $f$ найдены условия, при которых элементарная теория структуры $\langle\mathbf N;\leqslant,f\rangle$ разрешима; соответствующие условия найдены также для структур вида $\langle\mathbf N;+,f\rangle$.
Библиография: 20 названий.