# homogeneous

Let $L$ be a first order language. Let $M$ be an $L$-structure. Then we say $M$ is if the following holds:

if$\sigma$ is an isomorphism between finite substructures of $M$, then $\sigma$ extends to an automorphism of $M$.

Title homogeneous Homogeneous 2013-03-22 13:23:13 2013-03-22 13:23:13 mathcam (2727) mathcam (2727) 5 mathcam (2727) Definition msc 03C50 ExampleOfUniversalStructure RandomGraph