Form Classes

Statement:

\(C(WO,{\Bbb R})\):  Every well ordered family of non-empty subsets of \({\Bbb R}\) has a choice function.

Howard_Rubin_Number: 92

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:
Howard-Rubin-Stanley-Keremedis-2000a: Paracompactness of metric spaces and the axiom of choice

Book references

Note connections:

The following forms are listed as conclusions of this form class in rfb1: 94, 171, 376, 18, 53, 46-K, 98, 124, 127, 128, 146, 154, 163, 170, 177, 198, 200, 221, 344, 358, 379, 278, 131, 314, 342-n, 308-p, 373-n,

Back