I was reading Hodges' "Model Theory" Chapter 8 a propos existentially closed models of $\forall_2$ theories in a countable first order language $L$. He extends the proof of the omitting type theorem to construct an analogue of set-theoretic forcing in Model Theory. This was very interesting to me as it was the first time I had heard this.
I am extremely interested in the $\forall_2$ theory $Art_{k}^{l}$ of local artinian rings of length at most $l$ containing the field $k$ in the language of rings. To get an application, we must insist on the language being countable, which will amount to requiring that the field $k$ is countable.
My question is the following: what are the enforceable models the theory $Art_{k}^{l}$. This means what models $M$ admit the enforceable property of "$M$ is isomorphic to the compiled structure" ?
In particular, can we use this to say something about $Art_{\mathbb{Q}}^{l}$ and/or $Art_{\mathbb{F}_q}^{l}$?
Forgive me, if the terminology is a bit wonky. I am asking the question because I am not familiar with forcing in model theory and much less forcing in set theory. Hodges' "Model Theory" is the only reference I have; however, I know that the omitting types theorem is a fundamental result in model theory. I hope someone is familiar with this construction.