[FOM] question

[John Burgess]

Note that it applies well beyond arithmetical statements, by  
Shoenfield absoluteness.

On 23May  15, at 9:52 AM, WILLIAM TAIT wrote:

> 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
>
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom