Form Classes

Statement:

\(C(LO,<\aleph_{0})\): Every linearly ordered set of non-empty finite sets has a choice function.

Howard_Rubin_Number: 121

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:
Truss-1973a: Finite axioms of choice

Book references

Note connections:

The following forms are listed as conclusions of this form class in rfb1: 132, 45-n, 64, 121, 122, 124, 127, 323, 344, 401, 120-K, 33-n,

Back