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

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

Gailit E. V.
Second order arithmetic and pulsating hierarchies

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.

Полный текст статьи / Full texts:

• PDF file (356 KB)
• PostScript file (693 KB)