Let AC denote the Axiom of Choice. Let PP denote the socalled "Partition Principle" which states that "If S is a nonempty set and T is a nonempty set of pairwise disjoint subsets of S, then S can be mapped onto T". It is well known that "AC implies PP" is provable in ZF, but the question of whether "PP implies AC" is provable in ZF has long been an open problem. What is the present status of this problem? Has any progress been made on it? Oron the other handhave any models of ZF been constructed in which pp is true and some consequence of AC such as the existence of nonmeasurable sets of real numbersis false? If "pp implies AC" could be proved in ZF, this would seem to provide a powerful philosophical argument for accepting AC. In my opinion, any set theory in which pp can be disproved yields a really counterintuitive picture of the "Settheoretical Universe".

$\begingroup$ PP+DC implies the existence of a nonmeasurable set  mathoverflow.net/questions/22927/… $\endgroup$– François G. DoraisJul 6, 2013 at 18:47

3$\begingroup$ I think I'm missing something. Fix some $t\in T$; why isn't the following map a surjection? $f: x\mapsto s\in T$ if $x\in s$, $x\mapsto t$ if $\forall s\in T(x\not\in s)$. Since the sets in $T$ are pairwise disjoint, and $T$ is nonempty, this is well defined, and can be proved to exist by ZF, and since each element of $T$ is a subset of $S$ this map is clearly onto. (Unless $T$ happens to contain $\emptyset$, but then just take $t=\emptyset$.) What am I missing? $\endgroup$– Noah SchweberJul 6, 2013 at 18:51

2$\begingroup$ Garabed, PP states that if $A\leq^\ast B$ then $A\leq B$, where $\leq$ means there is an injection and $\leq^\ast$ means there is a surjection. $\endgroup$– Asaf Karagila ♦Jul 6, 2013 at 18:54

4$\begingroup$ Noah is right. The conclusion of PP should not be that S can be mapped onto T (which is trivial) but that T can be mapped onetoone into S. $\endgroup$– Andreas BlassJul 6, 2013 at 19:03

1$\begingroup$ Related. $\endgroup$– Andrés E. CaicedoJul 6, 2013 at 20:17
1 Answer
To my best knowledge, the BanaschewskiMoore paper from some twenty years ago is pretty much the last recorded progress on the topic.
The two main papers on the subject are the BanaschewskiMoore paper and a paper by Higasikawa, both are from more or less twenty years ago.
Bernhard Banaschewski, Gregory H. Moore, The dual CantorBernstein theorem and the partition principle, Notre Dame J. Formal Logic 31 (3), (1990), 375–381.
Masasi Higasikawa, Partition principles and infinite sums of cardinal numbers. Notre Dame J. Formal Logic 36 (1995), no. 3, 425–434.
You can find a nice diagram of implications in Gregory Moore's book "Zermelo's Axiom of Choice" (which, oddly enough, is the second time I refer to on this site today).
I have some master plan on how to prove its independence from the axiom of choice, but it's a wild and vague dream at the moment which doesn't worth much mentioning except for the fact that I believe, at the moment, that PP does not imply the axiom of choice. For whatever that is worth.
One interesting fact on $\sf PP$ is that it implies the existence of nonmeasurable sets of real numbers all by itself. $\sf PP$ implies $\sf DC$, as well $\aleph_1\leq2^{\aleph_0}$ and therefore implies the existence of a nonmeasurable set. But in fact even much weaker versions of $\sf PP$ imply the existence of nonmeasurable, for example $\sf WPP$ which asserts $A\leq^\ast B\rightarrow B\nless A$, or in other words: if $B$ can be mapped onto $A$ then it cannot have a strictly smaller cardinality.
The reason that $\sf WPP$ implies the existence of a nonmeasurable set is that $\Bbb R$ can always be mapped onto $[\Bbb R]^\omega$, the set of countably infinite sets of real numbers, and of course can be mapped into that set injectively.
Since in $\sf ZF$ we have $\Bbb R\leq[\Bbb R]^\omega\leq^\ast\Bbb R$, in $\sf ZF+WPP$ we have that $\Bbb R$ is equipotent with $[\Bbb R]^\omega$. Sierpinski proved from this assumption that there exists a nonmeasurable set.
Sierpinski, W. "L’axiome de M. Zermelo et son rôle dans la théorie des ensembles et l’analyse." Bulletin de l’Académie des Sciences de Cracovie, Classe des Sciences Math., Sér. A (1918), 97152.

$\begingroup$ To Noah and Asaf: I stated a version of pp which simply $\endgroup$ Jul 7, 2013 at 17:46

$\begingroup$ @Garabed: You might want to make this comment on the question, rather than my answer (and you should ping Noah using
@
in front of his user name, I already know there is a comment coming up...). $\endgroup$– Asaf Karagila ♦Jul 7, 2013 at 17:47 
$\begingroup$ @Noah: I stated a version of PP which simply stipulates $\endgroup$ Jul 7, 2013 at 17:51

$\begingroup$ I stated a version of PP which simply stipulates that the $\endgroup$ Jul 7, 2013 at 17:53

$\begingroup$ @Garabed: This answer is not the question. You should make this comment on your own question, this way Noah is notified as well. Be advised that pressing Enter submits the comment now, but you can edit your comment (for the first five minutes) using the "edit" link which appears not far from your user name after the comment. $\endgroup$– Asaf Karagila ♦Jul 7, 2013 at 17:58