Statement:
There is an ordinal \(\alpha\) such that for all \(X\), if \(X\) is a denumerable union of denumerable sets then \({\cal P}(X)\) cannot be partitioned into \(\aleph_{\alpha}\) non-empty sets.
Howard_Rubin_Number: 209
Parameter(s): This form does not depend on parameters
This form's transferability is: Unknown
This form's negation transferability is: Unknown
Article Citations:
Morris-1970: A model of ZF which cannot be extended to a model of ZFC without adding ordinals
Book references
Note connections: