[FOM] question

[Noah David Schweber]

I don't know the original proof, but if we build $L$ inside an arbitrary
model of $ZF$ we don't change $\omega$, so the statement is certainly true.

On Fri, May 22, 2015 at 12: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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20150522/887acbec/attachment.html>