“A Note on Omitting Types in Propositional Logic”. Armenian Journal of Mathematics, vol. 7, no. 1, May 2015, pp. 1-5, http://test.armjmath.sci.am/index.php/ajm/article/view/107.