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