Statement:
For all infinite \(x\), \(|2^{x}| = |x!|\).
Howard_Rubin_Number: 200
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:
Dawson-Howard-1976: Factorials of infinite cardinals
Book references
Note connections:
Note 64
Form 200 is studied in Dawson/Howard [1976]