Abstract

A set x is Dedekind infinite if there is an injection from ω into x; otherwise x is Dedekind finite. A set x is power Dedekind infinite if math formula, the power set of x, is Dedekind infinite; otherwise x is power Dedekind finite. For a set x, let pdfin be the set of all power Dedekind finite subsets of x. In this paper, we prove in math formula two generalizations of Cantor's theorem : The first one is that for all power Dedekind infinite sets x, there are no Dedekind finite to one maps from math formula into pdfin. The second one is that for all sets math formula, if x is infinite and there is a power Dedekind finite to one map from y into x, then there are no surjections from y onto math formula. We also obtain some related results.