2015. A Note on Omitting Types in Propositional Logic. Armenian Journal of Mathematics. 7, 1 (May 2015), 1–5.