Forcing

So far we have seen a way of building inner models of ZFC from the existing models. Forcing is a way of extending a given model of a portion of ZFC to another one. In fact, forcing is technically speaking, only applicable to countable transitive models (we shall discuss why later). The logic behind ... View More