[FOM] question

Roman Murawski rmur at amu.edu.pl
Fri May 22 03:37:58 EDT 2015

Dear FOMers,

I was told about  Kreisel's result stating that ZF + AC + GCH is a
conservative extension of ZF with respect to sentences about natural
numbers. Is it true? Where one can find it?


Roman Murawski

More information about the FOM mailing list