Abstract:
We implement the machine-oracle modeling of second order arithmetic by means of the iterated Kleene computability. The sought oracle is constructed by using a pulsating transfinite process which is a modification of a similar process used by N. V. Belyakin for solving a particular instance of this problem.