Аннотация:
Продолжаются исследования по машино-оракульному моделированию арифметики второго порядка. Описанный в указанных работах пульсирующий процесс моделируется с помощью оракулов так называемых автономных иерархий. В результате строится обобщенно конструктивная модель для фрагмента арифметики второго порядка, описанного ранее автором (Арифметика второго порядка и пульсирующие иерархии, Сиб. матем. ж., 43, № 1 (2002), 33–40).