[FOM] query about ZFC + (a global choice function)

Martin Davis eipye at pacbell.net
Fri Dec 17 20:43:41 EST 2010

I have received an email message inquiring about a rumor that a proof 
had been announced on FOM that:
ZFC + (a global choice function) is a conservative extension of ZFC.

I don't recall any such thing, but enlightenment would be appreciated.


More information about the FOM mailing list