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.



Applications of "model-theoretic" forcing
Model theoretic forcing is extended to wider languages with some applications, for example:


1- [Model theoretic forcing in analysis](https://www.sciencedirect.com/science/article/pii/S0168007208001516?via%3Dihub) which gives an exposition of forcing for metric structures.


2- Shelah extended it to the context of abstract elementary classes, see for example his book Classiﬁcation theory for abstract elementary classes, Section IV.2.


You may also look at Vasey's thesis [Superstability and Categoricity in Abstract Elementary Classes](http://www.math.cmu.edu/~rami/thesis_04_27_2017.pdf).


3- Andres Villaveces has several papers, where he defines some variants of forcing. See for example [Sheaves of G-structures and generic G-models](https://arxiv.org/pdf/1304.2477.pdf) and [Sheavesofmetricstructures](https://arxiv.org/pdf/1110.4919.pdf)  and ...


4- You may be also interested in the work of Xavier Caicedo [Logic of sheaves of structures](https://matematicas.uniandes.edu.co/archivos/publicaciones/Logicadeloshacesdeestructura.pdf). In this paper, Caicedo introduces a concept of sheaves of structures over a topological space, and a notion of model-theoretic forcing for such structures. This is a very general approach to model-theoretic forcing. For an English exposition, you may look at [The logic of sheaves, sheaf forcing and the independence of the Continuum Hypothesis](https://arxiv.org/pdf/1111.5854.pdf).


