The dual Cantor-Bernstein theorem and the partition principle.
Bernhard Banaschewski, Gregory Martin Moore · Notre Dame Journal of Formal Logic · 1990
This paper examines two propositions, the Dual Cantor-Bernstein Theorem and the Partition Principle, with respect to their logical interrelationship and their history.It is shown that the Refined Dual Cantor-Bernstein Theorem is equivalent to the Axiom of Choice.