A Note on Omitting Types in Propositional Logic

Abstract

Analogues of the classical omitting types theorems of first-order logic are proved for propositional logic. For an infinite cardinal $\kappa$, a sufficient criterion is given for the omission of $\kappa$-many types in a propositional language with $\kappa$ propositional variables.