Statement:

\(UT(\aleph_{0},2^{\aleph_{0}},2^{\aleph_{0}})\): The union of denumerably many sets each of power \(2^{\aleph _{0}}\) has power \(2^{\aleph_{0}}\).

Howard_Rubin_Number: 26

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

Note connections:

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

Back