Form Classes

Statement:

\((\forall n\in\omega, n\ge 2\))\((C(\infty,n))\): For each \(n\in\omega\), \(n\ge 2\), every set of \(n\) element  sets has a choice function.

Howard_Rubin_Number: 61

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:
Levy-1962: Axioms of multiple choice

Book references

Note connections:

The following forms are listed as conclusions of this form class in rfb1: 11, 171, 10, 62, 336-n, 46-K, 45-n, 80, 154, 250, 88, 327, 344, 358, 423, 314, 1, 342-n, 308-p,

Back