Hanf Number of Omitting Type for Simple First-Order Theories

Let T be a complete countable first-order theory such that every ultrapower of a model of T is saturated. If T has a model omitting a type p in every cardinality ′ , then T has a model omitting p in every cardinality. There is also a related theorem, and an example showing the ℶ ′ cannot be improved.