Statement:
Every non-well-orderable set has an infinite subset with a Dedekind finite power set.
Howard_Rubin_Number: 164
Parameter(s): This form does not depend on parameters
This form's transferability is: Not Transferable
This form's negation transferability is: Negation Transferable
Article Citations:
Brunner-1982a: Dedekind-Endlichkeit und Wohlordenbarkeit
Book references
Note connections:
Note 94
Relationships between the different definitions of finite
Note 42
Results from Brunner [1982a]