Statement:
Cardinality of well ordered subsets: For all \(n\in\omega\) and for all infinite \(x\), \(|x^n| < |s(x)|\) where \(s(x)\) is the set of all well orderable subsets of \(x\).
Howard_Rubin_Number: 283
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:
Truss-1973d: The well-ordered and well-orderable subsets of a set
Book references
Note connections: