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

[pax0 at seznam.cz]

I would even expect that 1 implies 2 is strictly weaker then AC over ZF.
Jan Pax
>  I expect that it is not provable in ZF.
>  
>  To summarize, I expect that ZF does not prove 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
>  _______________________________________________
>  FOM mailing list
>  FOM at cs.nyu.edu
>  http://www.cs.nyu.edu/mailman/listinfo/fom
>  
>  
>