[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
> model.  With this interpretation, the assertion is correct.

Could you please show this, to the uninitiated?

More information about the FOM mailing list