Statement:
\(E(V'',III)\): For every set \(A\), \({\cal P}(A)\) is Dedekind finite if and only if \(A = \emptyset\) or \(2|{\cal P}(A)| > |{\cal P}(A)|\). \ac{Howard/Spi\u siak} \cite{1994}.
Howard_Rubin_Number: 276
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:
Book references
Note connections:
Note 94
Relationships between the different definitions of finite