Homogeneity of models of a countable strongly minimal theory (source code)

= 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.