Statement:
\(\aleph _{\beta +1}\) is regular for all ordinals \(\beta\).
Howard_Rubin_Number: 25
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:
Levy-Feferman-1963: Independence results in set theory by Cohen's method II
Gitik-1980: All uncountable cardinals can be singular
Book references
Note connections: