\(C(\aleph_{\alpha},\infty)\): If \(X\) is a set of non-empty sets such that \(|X| = \aleph_{\alpha }\), then \(X\) has a choice function.

\(C(\aleph_{0},\infty)\):

\(C(\aleph_{0},\le 2^{\aleph_{0}})\):  Every denumerable collection of non-empty sets  each with power \(\le  2^{\aleph_{0}}\) has a choice function.

\(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].