Homogeneity plus realization of empty-set types implies saturation
= Homogeneity plus realization of empty-set types implies saturation
If an aleph-zero-homogeneous model realizes every finite type over the empty set, it is aleph-zero-saturated. Realize the joint empty-set type of the parameters and a desired element, then use homogeneity to move the realized parameter tuple to the given one.
= Saturation
{synonym}