Аннотация:
Доказано, что полная схема свертки $\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 названий.
Ключевые слова:
арифметика второго порядка, свертка, счетный выбор, параметры, форсинг.