A method of modeling a classical second stage arithmetic (Q793020)

In a previous paper [Algebra Logika 13, 132--144 (1974; Zbl 0296.02023)] the author described some general method of constructing models of higher order arithmetic using transfinite iteration of Kleene computability. For the second order case it can be compared with iteration of superjump. In the reviewed paper this construction is essentially modified allowing to construct a model of two-quantifier second order comprehension by means comparable with iteration of hyperjump. The presentation is very technical, but there are numerous remarks explaining the author's foundational motivations.