[FOM] surjection from S^2 onto Pow(S), CORRECTION

[Harvey Friedman]

In http://www.cs.nyu.edu/pipermail/fom/2012-October/016714.html

I wrote

"Does anybody have a reference to this statement?

ZF proves that the following are equivalent:

1. there is a surjective map from S x S onto its power set.
2. S has exactly two sets."

I meant this:

Does anybody have a reference to this statement?

ZF proves that the following are equivalent:

1. there is a surjective map from S x S onto Pow(S).
2. S has exactly two, three, or four elements.

Harvey Friedman.