1 problem

Let $\mathsf{ACA}_0$ be arithmetical comprehension and let $2^{\mathbb{N}}$-$\mathsf{ACA}_0$ denote the corresponding higher-type principle used in the paper. ACA₀ transfer conject…