Form Classes

Statement:

\(C(WO,WO)\):  Every well ordered family of non-empty, well orderable sets has a choice function.

Howard_Rubin_Number: 165

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:

The following forms are listed as conclusions of this form class in rfb1: 99, 132, 76, 253, 289, 324, 13, 31, 32, 53, 57, 64, 78, 122, 124, 126, 127, 128, 144, 146, 163, 177, 222, 274, 299, 300, 328, 330, 344, 379, 384, 390, 65, 278, 105, 167, 97,

Back