Независимость схемы свертки в арифметике второго порядка от счетного выбора без параметров

Доказано, что полная схема свертки $\mathbf{CA}$ в арифметике второго порядка $\mathbf{PA}_2$ невыводима в подтеории $\mathbf{PA}_2^\ast$ c беспараметрической сверткой даже при добавлении к последней беспараметрической схемы выбора $\mathbf{AC}_\omega^\ast$ и свертки $\mathbf{CA}(\mathbf\Sigma^1_2)$ для всех $\mathbf\Sigma^1_2$-формул с параметрами.
Библиография: 27 названий.