В этой статье продолжаются начатые в [1, 2] исследования по машиио-оракулыюму моделированию арифметики второго порядка. Описанный в указанных работах пульсирующий процесс моделируется с помощью оракулов так называемых автономных иерархий, в результате чего строится обобщенно конструктивная модель для фрагмента арифметики второго порядка [1]. Предполагается знакомство читателя с понятием вычислимости с частичными оракулами, все необходимые сведения содержатся в [3].
展开▼