Statement:
There does not exist an ordinal \(\alpha\) such that \(\aleph_{\alpha}\) is weakly compact and \(\aleph_{\alpha+1}\) is measurable.
Howard_Rubin_Number: 321
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:
Bull-1978: Successive large cardinals
Book references
Note connections:
Note 20
We give some definitions and properties of inaccessible cardinals. (Proofs of the results given below can be found in Drake [1974].)