Statement:

For all infinite \(x\), \(|x!|=|x^x|\).

Howard_Rubin_Number: 291

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:
Pincus-1978: A note on the cardinal factorial

Book references

Note connections:
Note 64 Form 200 is studied in Dawson/Howard [1976]

The following forms are listed as conclusions of this form class in rfb1: 3, 32, 91, 118, 330, 350, 357, 151,

Back