Statement:
UT(\(\aleph_0\),cuf,cuf): The union of a denumerable set of cuf sets is cuf. (A set is cuf if it is a countable union of finite sets.)
Howard_Rubin_Number: 419
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:
De-la-Cruz-Hall-Howard-Keremedis-Rubin-2002A: Metric spaces and the axiom of choice
Book references
Note connections:
| Howard-Rubin Number | Statement | References |
|---|---|---|
| 419 A | \(UT\)(cuf,cuf,cuf): The union of a cuf set of cuf sets is cuf. |
De-la-Cruz-Hall-Howard-Keremedis-Rubin-2002A
|