Statement:

\(W_{\aleph _{1}}\): For every cardinal \(m\), \(m \le \aleph_{1}\) or \(\aleph_{1}\le m \).

Howard_Rubin_Number: 41

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
The Axiom of Choice, Jech, T., 1973b

Note connections:

The following forms are listed as conclusions of this form class in rfb1: 365, 8, 9, 41, 106,

Back