Statement:
\(UT(WO,WO,WO)\): The union of a well ordered collection of well orderable sets is well orderable.
Howard_Rubin_Number: 231
Parameter(s): This form does not depend on parameters
This form's transferability is: Unknown
This form's negation transferability is: Negation Transferable
Article Citations:
Tsukada-1977: Cardinals and the Boolean prime ideal theorem
Book references
Note connections:
| Howard-Rubin Number | Statement | References |
|---|---|---|
| 231 A | Every almost well orderable set (\(W\)-set) is well orderable. |
Note [25] |