[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