Statement:
\(W_{\aleph_{\alpha}}\): \((\forall x)(|x|\le\aleph_{\alpha }\) or \(|x|\ge \aleph_{\alpha})\). Jech [1973b], page 119.
Howard_Rubin_Number: 71-alpha
Parameter(s): This form depends on the following parameter(s): \(\beta\), \(\beta\): ordinal number
This form's transferability is: Transferable
This form's negation transferability is: Negation Transferable
Article Citations:
Levy-1964: The interdependence of certain consequences of the axiom of choice
Pelc-1978: On some weak forms of the axiom of choice in set theory
Book references
The Axiom of Choice, Jech, T., 1973b
Note connections: