Арифметика второго порядка и пульсирующие иерархии

Осуществляется машинно-оракульное моделирование арифметики II-го порядка средствами итерированной клиниевской вычислимости. Искомый оракул строится посредством пульсирующего трансфинитного процесса, представляющего собой модификацию аналогичного процесса, использованного Н. В. Белякиным для решения частного случая этой задачи. Библиогр. 5.