Statement:

\(UT(2^{\aleph_{0}},2^{\aleph_{0}},2^{\aleph_{0}})\): If every member of an infinite  set of cardinality \(2^{\aleph _{0}}\) has power \(2^{\aleph_{0}}\), then the union has power \(2^{\aleph_{0}}\).

Howard_Rubin_Number: 22

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:

Book references
Le¸cons sur la th´eorie des fonctions, Borel, E., 1898
Zermelo's Axiom of Choice, Moore, G.H., 1982

Note connections:

The following forms are listed as conclusions of this form class in rfb1: 22, 26, 1,

Back