Statement:
Dual Cantor-Bernstein Theorem:\((\forall x) (\forall y)(|x| \le^*|y|\) and \(|y|\le^* |x|\) implies \(|x| = |y|)\) .
Howard_Rubin_Number: 168
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:
Banaschewski-Moore-1990: The dual Cantor-Bernstein theorem and the partition principle
Book references
Note connections:
Note 69