[FOM] The necessity of forcing

[Jeremy Clark]

What about A = "ZFC is consistent" ?

Jeremy Clark

On May 10, 2007, at 6:29 PM, joeshipman at aol.com wrote:

>  From private responses to my previous post, I satisfied myself that
> forcing is useful for proving results about weaker systems than ZF,  
> but
> does not appear to be necessary for these. On the other hand, no one
> responded to my last 2 queries, so I will restate them in a more
> provocative form:
>
>
> CLAIM: There is no important result (provable in ZFC) of the form
>
> If ZFC is consistent, then neither A nor ~A is a theorem of ZFC
>
> which has been proven without using forcing in at least one of the two
> halves of the result.
>
>
> Is anyone confident enough to either agree or disagree with this  
> claim?
>
> -- JS
> ______________________________________________________________________ 
> __
> AOL now offers free email to everyone.  Find out more about what's  
> free
> from AOL at AOL.com.
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
>