Statement:
\(C(\varPi^1_2)\) or \(AC(\varPi^1_2)\): If \(P\in \omega\times{}^{\omega}\omega\), \(P\) has domain \(\omega\), and \(P\) is in \(\varPi^1_2\), then there is a sequence of elements \(\langle x_{k}: k\in\omega\rangle\) of \({}^{\omega}\omega\) with \(\langle k,x_{k}\rangle \in P\) for all \(k\in\omega\). Kanovei [1979].
Howard_Rubin_Number: 194
Parameter(s): This form does not depend on parameters
This form's transferability is: Transferable
This form's negation transferability is: Negation Transferable
Article Citations:
Book references
Note connections:
Note 61
Kanovei [1979] studies the
relationships between \(AC(K)\) and \(DC(K)\)