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!