[FOM] FOM] question /forcing/independ

[Adriano Palma]

Shoenfield, Joseph, 1961. "The problem of predicativity", Essays on the foundations of mathematics, Y. Bar-Hillel et al., eds., pp. 132-142.



Dear dr. Burgess are you referring to (what I know from) K Kunen treatment of independence?
Thank you
-----Original Message-----
From: fom-bounces at cs.nyu.edu [mailto:fom-bounces at cs.nyu.edu] On Behalf Of John Burgess
Sent: 23 May 2015 18:35
To: Foundations of Mathematics
Cc: William Tait
Subject: Re: [FOM] question

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

_______________________________________________
FOM mailing list
FOM at cs.nyu.edu
http://www.cs.nyu.edu/mailman/listinfo/fom