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