For a set M, let |M| denote the cardinality of M. A family F is called strongly almost disjoint if there is an n∈ω such that |A∩B|<n for any two distinct elements A, B of F. It is shown in ZF (without the axiom of choice) that, for all infinite sets M and all strongly almost disjoint families F⊆P(M), |F|<|P(M)| and there are no finite-to-one functions from P(M) into F, where P(M) denotes the power set of M.

For a set x, let S(x) be the set of all permutations of x. We prove by the method of permutation models that the following statements are consistent with ZF: (1) There is an infinite set x such that |p(x)|<|S(x)|<|seq^1-1(x)|<|seq(x)|, where p(x) is the powerset of x, seq(x) is the set of all finite sequences of elements of x, and seq^1-1(x) is the set of all finite sequences of elements of x without repetition. (2) There is a Dedekind infinite set (...) x such that |S(x)|<|[x]^3| and such that there exists a surjection from x onto S(x). (3) There is an infinite set x such that there is a finite-to-one function from S(x) into x. (shrink)

For a set M, let \\) denote the set of all finite sequences which can be formed with elements of M, and let \ denote the set of all 2-element subsets of M. Furthermore, for a set A, let Open image in new window denote the cardinality of A. It will be shown that the following statement is consistent with Zermelo–Fraenkel Set Theory \: There exists a set M such that Open image in new window and no function Open image (...) in new window is finite-to-one. (shrink)

In this paper, we consider certain cardinals in ZF (set theory without AC, the axiom of choice). In ZFC (set theory with AC), given any cardinals C and D, either C ≤ D or D ≤ C. However, in ZF this is no longer so. For a given infinite set A consider $\operatorname{seq}^{1 - 1}(A)$ , the set of all sequences of A without repetition. We compare $|\operatorname{seq}^{1 - 1}(A)|$ , the cardinality of this set, to |P(A)|, the cardinality of (...) the power set of A. What is provable about these two cardinals in ZF? The main result of this paper is that $ZF \vdash \forall A(|\operatorname{seq}^{1 - 1}(A)| \neq|\mathscr{P}(\mathscr{A})|)$ , and we show that this is the best possible result. Furthermore, it is provable in ZF that if B is an infinite set, then $|\operatorname{fin}(B)| <|\mathscr{P}(B)|$ even though the existence for some infinite set B* of a function f from $\operatorname{fin}(B^\ast)$ onto P(B*) is consistent with ZF. (shrink)

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. (shrink)