A Note on Omitting Types inPropositional Logic Oren Kolman
Analogues of the classical omitting types theoremsof first-order logic are proved for propositional logic. For aninfinite cardinalκ, a sufficient criterion is given for the omissionofκ-many types in a propositional language withκpropositionalvariables.
DOI: https://armjmath.sci.am/index.php/ajm/article/view/107 Armenian Journal of Mathematics, 7(1) 1-5
