[FOM] Global choice and ZF

T.Forster@dpmms.cam.ac.uk T.Forster at dpmms.cam.ac.uk
Fri Apr 3 05:01:50 EDT 2009

The feedback I am getting suggests that the truth of the matter is that

NGB + global choice is an extension of NGB + set choice that is 
conservative for the language of pure sets.

 Can anyone confirm this, preferably with a reference?



More information about the FOM mailing list