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.
Articles by others on the same topic
There are currently no matching articles.