Homogeneity of models of a countable strongly minimal theory
ID: homogeneity-of-models-of-a-countable-strongly-minimal-theory
In a countable strongly minimal theory, every model is homogeneous. Extend a finite partial elementary map over algebraic closures, choose bases of equal dimension for the remaining pregeometry, map one basis bijectively to the other, and extend over algebraic closure.
New to topics? Read the docs here!