[FOM] question

[WILLIAM TAIT]

ZF+AC+GCH is included in ZF+V=L. An arithmetic sentence is a consequence of ZF+V=L iff it is a consequence of ZF. 
But I don’t know why Kreisel’s name should be attached to this.

Bill


> On May 22, 2015, at 2:37 AM, Roman Murawski <rmur at amu.edu.pl> wrote:
> 
> 
> 
> 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?
> 
> Best
> 
> Roman Murawski
> 
> 
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom