[FOM] Nielsen-Schreier

T.Forster at dpmms.cam.ac.uk T.Forster at dpmms.cam.ac.uk
Tue May 7 08:13:09 EDT 2013

Doing some homework in preparation for a second edition of *Logic, 
Induction and Sets* and find myself wondering whether or not it is still 
open whether or not NS implies choice. The internet gives no clue.


More information about the FOM mailing list