Omitting Types Theorem

A theorem giving conditions under which a countable consistent first-order theory has a model that omits a specified collection of nonprincipal (i.e. nonisolated) types; typically stated for countable languages and a countable family of such types.