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