Statement:
\(\aleph(2^{\aleph_{0}})\neq\aleph_{\omega}\). (\(\aleph(2^{\aleph_{0}})\) is Hartogs' aleph, the least \(\aleph\) not \(\le 2^{\aleph_{0}}\).)
Mathias [1979], p 125.
Howard_Rubin_Number: 56
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:
Mathias-1979: A survey of recent results in set theory
Book references
Note connections: