Amodel is omega-saturated when it realizes every complete finite-tuple type over any finite parameterset. Realizing all one-variable types over finite parametersets suffices by successively adjoining coordinates. This is weaker than saturation over every countable parameterset.
