Statement:
There is an ordinal \(\alpha\) such that \(\aleph(2^{\aleph_{\alpha }})\neq\aleph_{\alpha +1}\). (\(\aleph(2^{\aleph_{\alpha}})\) is Hartogs' aleph, the least \(\aleph\) not \(\le 2^{\aleph _{\alpha}}\).)
Mathias [1979], p 126.
Howard_Rubin_Number: 58
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: