Statement:
\({\Bbb R}\) can be well ordered. Hilbert [1900], p 263.
Howard_Rubin_Number: 79
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:
Hilbert-1900: Mathematische Probleme Vortrag, gehalten auf dem internationalem Mathematiker Kongress zu Paris
Book references
Note connections:
| Howard-Rubin Number | Statement | References |
|---|---|---|
| 79 A | \(C(\infty,\infty,{\Bbb R})\): Every set whose elements are non-empty subsets of \({\Bbb R}\) has a choice function. |
Book: Handbook of Analysis and its Applications |