Statement:
\(E(II,III)\) (Howard/Yorke [1989]): \((\forall x)(x\) is \(T\)-finite if and only if \(\cal P(x)\) is Dedekind finite).
Howard_Rubin_Number: 84
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:
Howard-Yorke-1989: Definitions of finite
Book references
Note connections:
Note 94
Relationships between the different definitions of finite