[FOM] CH and forcing

d_obrien d_obrien at telus.net
Tue Jul 5 01:59:44 EDT 2011


> From: Andreas Blass
> Subject: [FOM] CH and forcing
> 
> Roger Bishop Jones asked about the assertion
> 
> > "Every model of ZFC has a forcing extension in which CH fails."
> >
> In this context, I would interpret "forcing extension" to mean a
Boolean-valued
> model.  With this interpretation, the assertion is correct.
> 

Could you please show this, to the uninitiated?
Thanks
Drake



More information about the FOM mailing list