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