Saturation implies homogeneity
ID: saturation-implies-homogeneity
A -saturated model has the one-point extension property for partial elementary maps of size below : transport the type of the new element through the map and realize it by saturation. This is -homogeneity; back-and-forth gives the corresponding automorphisms when cardinalities permit.
New to topics? Read the docs here!