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

[Marco Forti]

the statement can't be true, because if |S|=4  |SxS|= |P(S)|=16.
Marco Forti

On Mon, Oct 1, 2012 at 8:53 PM, Harvey Friedman <hmflogic at gmail.com> 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.
>
> Harvey Friedman
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
>



-- 
Marco Forti
Dipartimento di Matematica
Universita' di Pisa
V. Buonarroti 1 C - 56100 PISA (Italy)
Tel. +39 050 2213876 (direct)
       +39 050 2213801 (operator)
Fax  +39 050 2213802
e-mail forti at dma.unipi.it
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20121018/c2b9e3ee/attachment.html>