Эквивалентность пяти классов функций элементарных по Кальмару

Определим пять классов функций, элементарных по Кальмару.Функция называется элементарной по Кальмару, если ее можно получить й из функций s.Отношение, примененное в операция конечной минимизации, является элементарным по Кальмару.Эквивалентность классов доказана.Класс функций, получаемый из функций s.Выразим операцию ограниченной рекурсии на основании следующего свойства функции Геделя.Где y (x,y) -к-ступенчатая функция.(для этого выразим x*y и операцию ограниченной минимизации через функции.(для этого выразим x+y и операцию ограниченной рекурсии через функции.(для этого выразим операции суммирования и мультиплицирования через функции.