“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.