Statement:
\(UT(\aleph_{\alpha },\aleph_{\alpha}, <2^{\aleph_{\alpha }})\): The union of \(\aleph_{\alpha}\) sets each of cardinality \(\aleph_{\alpha}\) has cardinality less than \(2^{\aleph_{\alpha}}\).
Howard_Rubin_Number: 207-alpha
Parameter(s): This form depends on the following parameter(s): \(\alpha\),
This form's transferability is: Unknown
This form's negation transferability is: Negation Transferable
Article Citations:
Figura-1977: Collapsing functions and dependent choices
Book references
Note connections: