# Applications of "model-theoretic" forcing

The notion of forcing was invented by Paul Cohen, who used it to prove the independence of the Continuum Hypothesis. He constructed a model of set theory in which the CH fails, thus showing that CH is not provable from ZF. Forcing was adapted from set theory to model theory by Abraham Robinson. Robinson developed two types of model-theoretic forcing, finite forcing and infinite forcing.

I would like to know the recent applications of model-theoretic forcing. Any reference will be appreciated.

• @PeterHeinig The question which you mentioned was about the application of "set theoretic" forcing in model theory. But I'm just interested in model-theoretic forcing. Feb 25, 2018 at 18:22