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