1. Baldwin, J.T., Shi, N.: Stable generic structures. Ann. Pure Appl. Logic. 79, 1–35 (1996)
2. Benda, M.: Remarks on countable models. Fund. Math. 81, 107–119 (1974)
3. Daniel Gain. Forcing, downward Lwenheim-Skolem and Omitting Types theorems, institutionally Logica Universalis 2013/12/12
4. Diaconescu, R.: Institution-independent Model Theory. In: Studies in Universal Logic. Springer, Birkhauser (2008)
5. Diaconescu, R.: Institution-independent ultraproducts. Fundam. Inform. 55(3-4):321–348